====== jEdit ====== echo "deb http://switch.dl.sourceforge.net/project/jedit /" >> /etc/apt/sources.list.d/jedit.list apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC apt-get update apt-get install jedit