Tue, 31 May 2005 12:43:26 +0200
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/
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.