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
4 comments:
To do this you need the json tools from https://pypi.python.org/pypi/json_tools/0.1.30.
To install you need python-setuptools from the repos. You will also need get-pip.py prom Python
Once you have the tools and pip installed you need to run sudo pip install json_tools from the json_tools-0.1.30 directory extracted from your earlier download.
To do this you need the json tools from https://pypi.python.org/pypi/json_tools/0.1.30.
To install you need python-setuptools from the repos. You will also need get-pip.py prom Python
Once you have the tools and pip installed you need to run sudo pip install json_tools from the json_tools-0.1.30 directory extracted from your earlier download.
He has now done it: http://www.whitemiceconsulting.com/2014/03/gedits-amazing-external-tools.html
http://whitemiceconsulting.blogspot.com/2014/03/gedits-amazing-external-tools.html
Post a Comment