- Download the java-based installer from http://www.jedit.org/?page=download
- In a terminal, cd to the directory you downloaded jedit to and enter the command:
java -jar jedit43pre3install.jar
Linux users might want to run the installer as the root user so that it’s installed for all users.
- You should be able to start jedit by typing jedit in a terminal. If your system doesn’t recognize the command, you might have to add the directory the jedit executable is located in to your PATH environmental variable.
- Here are a few of my favorite jEdit plugins. Download these to the jars folder or install them through the download manager.
BufferTabs http://plugins.jedit.org/plugins/?BufferTab
ProjectViewer http://plugins.jedit.org/plugins/?ProjectViewer
CommonControls http://plugins.jedit.org/plugins/?CommonControls
Console http://plugins.jedit.org/plugins/?Console
ErrorList http://plugins.jedit.org/plugins/?ErrorList - Create a file called jedit.props that contains the following text and save it to the properties folder.
projectviewer.dock-position=left console.dock-position=bottom vfs.browser.dock-position=left view.gutter.lineNumbers=true buffer.folding=indent view.showBufferSwitcher=false buffer.folding=indent buffertabs.enabled=true console.changedir.pvchange=true
This will dock the plugins we just installed, and enable line numbering and code folding by default for all users.
Categories