bug 219448

[G. Milde]

On 30.05.05, Jörg Sommer wrote:
> G. Milde schrieb am Mon 30. May, 11:04 (+0200):
> > 
> > To come to a conclusion...
> > 
> > Could someone with SVN write access please apply the patch
> > 
> > --- /etc/jed.conf~	2005-05-30 10:56:26.000000000 +0200
> > +++ /etc/jed.conf	2005-05-30 10:55:28.000000000 +0200
> > @@ -11,3 +11,4 @@
> >  	() = evalfile (path_concat ("/etc/jed-init.d", $1));   
> >  }
> >  
> > +Default_Jedrc_Startup_File = NULL;
> 
> I've done this in r42. But I set it in 00debian.sl, because this file
> includes all Debian changes to the system.

IMHO, the mere existence of /etc/jed.conf is a Debian change, as this file
doesnot come with the upstream relase and introduces the /etc/jed-init.d/ 
startup directory.

Also, as the "proper fix" upstream would be to disable loading of
JED_ROOT/lib/jed.rc if a site-wide config file exists, putting this
workaround in the basic site-wide config file is IMHO more transparent.

In the weird case of a user editing jed.conf and disabling the startup
scheme (discouraged but not forbidden) and adding some stuff of his own,
the bug would reappear. With the fix in /etc/jed.conf, this user would
see the setting and possibly preserve it.


Günter

-- 
G.Milde web.de