Respected geek @whitemice didn't seem to think this was a big deal.
He's been sitting on this.
[UPDATE: Now he has created the article
http://www.whitemiceconsulting.com/2014/03/gedits-amazing-external-tools.html ]
You can format & lint a JSON file by creating an "External Tool" in
GEdit which is simply:
#!/bin/sh
python -m json.tool
He's been sitting on this.
[UPDATE: Now he has created the article
http://www.whitemiceconsulting.com/2014/03/gedits-amazing-external-tools.html ]
You can format & lint a JSON file by creating an "External Tool" in
GEdit which is simply:
#!/bin/sh
python -m json.tool