sinarf/DistroSetupTool — Issue #7: Add jedit repository to have the last version 
Author: sinarf
Created: 2012-02-05 11:00:34+00:00
State: open
Labels: Evolutions

http://jedit.org/index.php?page=download&platform=unix#option_two

deb http://switch.dl.sourceforge.net/project/jedit /

Then, just run apt-get update, followed by apt-get install jedit.

The repository is now also secured and signed. To verify the packages you have to install the public key with which the repository is signed. This can be done by invoking apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC