Categories
development

Install and configure jEdit

  1. Download the java-based installer from http://www.jedit.org/?page=download
  2. 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.

  3. 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.
  4. 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

  5. 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.