Tue, 17 May 2005 17:42:31 +0200
On 16.05.05, Jörg Sommer wrote:
> Your Message-ID isn't valid.
> G. Milde schrieb am Thu 12. May, 09:19 (+0200):
> > On 11.05.05, Jörg Sommer wrote:
> > > G. Milde schrieb am Wed 11. May, 14:09 (+0200):
> > After reaching agreement on this list, we should contact John (and/or the
> > jed-users list) and propose a change to site.sl. (See my current
> > suggestion below.)
> Did you do it?
No. (Did we reach an agreement?)
> > > > if (is_substr(JED_ROOT, "/usr/local") == 1)
> > > Isn't JED_ROOT[[:10]] == "/usr/local" better.
> But this is Johns decision, because this is only relevant for upstream.
> > (Remember, the world is even more complex than Linux.)
> configure helps.
But also this is none of our business...
We should make sure that /etc/jed.conf contains the line
Default_Jedrc_Startup_File = NULL;
to solve the bug that gave this thread its name.