- 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.
This entry was posted
on Wednesday, May 10th, 2006 at 10:42 pm and is filed under development.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.