Bug#446272: jed-extra: creates init.sl~

[G. Milde]

On 11.10.07, Rafael Laboissiere wrote:
> * Jörg Sommer <joerg at alea.gnuu.de> [2007-10-11 17:45]:

> > Package: jed-extra
> > Version: 2.4-1
> > Severity: normal
> > 
> > Hi,
> > 
> > there is a backup file for every ini file.

> The patch below seems to fix the problem, but I do not know about side
> effects.  Günter: what do you think?

It has a side effect: 

Sometimes, after experimanting and an update_home_lib(), the new generated
~/.jed/lib/ini.sl file breaks Jed. In this case I am quite happy to have
the backup copy at hand to get a working Jed again.
This is why I would rather do the backup file generation suppression in
the jed-extra initialisation code. 

Actually, I already committed the necessary changes. 
They work alongside your patch but I'd still like to leave make_ini.sl
unchanged.

Thanks

Günter