[ jEdit-users ] Installing pre-release on Ubuntu doesn't work

[Victor E. <vic...@gm...>]

Hi all,

I've seen several tutorials for how to install jEdit on Ubuntu, and all of
them involve adding two repositories to /etc/apt/sources.list, then running
$ sudo apt-get update
$ sudo apt-get install jedit

But after this I only get 4.2final, which is from around the stone age. Is
there a deb repository I can use to install the pre-releases on Ubuntu, to
avoid having to download binaries all the time?

-- 
Victor Engmark