Disable jed.conf (was: Re: Intention of jed-script)
G. Milde
g.milde@web.de
Wed Jul 13 07:08:00 UTC 2005
On 12.07.05, John E. Davis wrote:
> Joerg Sommer <joerg@alea.gnuu.de> wrote:
> >I think it is really necessary to _not_ load jed.conf some times. One
> >time is when jed is called as jed-script and the other situation when a
> >command line option is given, e.g. --no-etc-conf. How do you think?
>
> As previously mentioned, I do not believe that the problem is with
> jed's loading of jed.conf; rather the problem is with the contents of
> jed.conf.
While this is true in most cases, a command line option to disable loading
of defaults.sl or jed.conf would be much appreciated.
> If jed.conf does something that it should not in batch or script mode,
> then it should be modified to perform such operations in a conditional
> manner
This solves much problems, but not the following example:
My jed.conf extends the jed-library-path by a private directory
"~/.jed/lib", where I store my private and modified modes.
To test a modes requirements, I would like to start an "unpatched" jed,
so that any require() will load the standard version of a mode or fail
if this mode doesnot exist in the distribution.
Also, the more common (and maybe more philosophical) problem is that the
Debian package used jed.conf for Debian-specific setup, especially
evaluating all files in /etc/jed-init.d/. It seems appropriate (some
would say "it is a requirement") to give users a possibility to
(temporarily) disable these Debian-specific changes.
Sincerely
Guenter
--
G.Milde web.de
More information about the Pkg-jed-devel
mailing list