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

[Daniel H. <ge...@th...>]

On Thu, Mar 27, 2008 at 7:16 PM, Alan Ezust wrote:

> I would recommend that if the .pre releases ever end up on ubuntu,
>  they skip 4.3pre13 since it's not ready for prime time.

There's currently 4.3pre13 in Ubuntu.

I've seen that there are serious bugs, e.g. the crash with Search on a
new install, which I've planned to add patches for.
Basically, I've planned to take all bugfixes from SVN to it.

>  we need to release pre14 soon (but we need to process a few more
>  patches first). pre12 is the last release that should be put on any
>  sort of repository for the moment...

Having pre14 in the next days would be great, but it should be a
bugfix only release (or I'd have to file a feature freeze exception,
but would be happy to do so).

Regarding the new tango icon theme, it would be great, if I would not
have to ship the icons in the package, as there's already a
tango-icon-theme package in Ubuntu and it would be far better, if the
jedit package could just depend on it.


Cheers,
Daniel.


>  On Thu, Mar 27, 2008 at 4:59 AM, Victor Engmark
>  <vic...@gm...> wrote:
>  > 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


-- 
http://daniel.hahler.de/