This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon (
) is private.
Every repository with this icon (
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon (
) is public.
Every repository with this icon (
| name | age | message | |
|---|---|---|---|
| |
README | Tue Oct 07 15:17:30 -0700 2008 | |
| |
fulljslint.js | Tue Oct 07 15:17:30 -0700 2008 | |
| |
jslint.gedit-plugin | Tue Oct 07 15:17:30 -0700 2008 | |
| |
jslint.py | Tue Oct 07 15:17:30 -0700 2008 |
README
INSTALLING: To install just extract the files to ~/.gnome2/gedit/plugins/, make sure its not a sub-directory (why oh why does that not work for gedit plugins?!). DEPENDENCIES: It requires spidermonkey and simplejson (and probably some other stuff). On ubuntu you can get the packages by: sudo apt-get install spidermonkey-bin python-simplejson USAGE: The plugin should then appear in the Gedit plugins list under Edit > Preferences > Plugins. Click Tools > JSLint Check to run it.







