jEdit v Ubuntu

jEdit je môj obľúbený multiplatformový editor napísaný v Jave, takže ho môžete používať ako vo Windows tak aj linuxe. A práve repozitároch Ubuntu mi chýba – tu je návod ako si ho v pohode nainštalovať:

• predpokladám, že už máte vo svojom Ubuntu (návod je pre 7.10 Gutsy Gibbon) nainštalovanú Javu
• treba do sources.list pridať editorom sudo gedit /etc/apt/sources.list tieto dva riadky

deb http://switch.dl.sourceforge.net/sourceforge/jedit ./
deb-src http://switch.dl.sourceforge.net/sourceforge/jedit ./

• nasleduje samotná inštalácia Jeditu:

sudo apt-get update
sudo apt-get install jedit

• teraz je jEdit nainštalovaný, ešte môžete editor vylepšiť tak, že si bude pamätať pozíciu v naposledy otvorenom súbore – treba editovať sudo gedit /usr/bin/jedit a zmeniť

... ${JEDIT} -jar "/usr/share/jedit/jedit.jar" $@

na

... ${JEDIT} -jar "/usr/share/jedit/jedit.jar" -reuseview $@