Sun, 1 May 2005 17:54:01 +0200
Content-Type: text/plain; charset=iso-8859-1
[Cc-ing John, maybe he can help.]
this bug  is really interesting. The problem is this:
$ xjed -batch
Here a admin may make system wide setting
and here they get overwritten by jeds default settings.
/etc/jed.conf become loaded at the end of site.sl. jed.rc become loaded
by the command line hook, which is called after site.sl has quit. This
must change, we can't make system wide settings before program defaults.
I would say, we should remove /usr/share/jed/lib/jed.rc and put it at the
beginning of /etc/jed.conf and set Default_Jedrc_Startup_File to NULL to
prevent jed.rc is searched by command_line_hook().
Does anyone know, why a command_line_hook is necessary? Why the command
line can't be parsed in site.sl directly?
Life can only be understood backwards, but it must be lived forwards.=20
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
-----END PGP SIGNATURE-----