bug 219448

[G. Milde]

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.

Agreed.

> > (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.


Guenter


-- 
G.Milde web.de