Re: [gentoo-dev] grace not working

[Tibor Rudas <tibi@mdy.univie.ac.at>]

On Wednesday 12 December 2001 18:17, Martin Schlemmer wrote:
> Hi

thanks for the answer!

>
> I moved Grace from /opt to /usr, and because there was still
> older versions floating around, I had to change the name
> of the file that sets GRACE_HOME in /etc/env.d.  With the last
> update however, the developer forgot to create a 10grace-5.1.5.
>
> I will fix this asap, sorry.

I now figured out that GRACE_HOME is set in /etc/profile.env (I actually
don't know how it gets there from /etc/env.d but I'm ready to learn :) but
historically most of our users are csh users and so this doesn't get sourced 
:(

--> I must generate an according csh-like script and source that :)

regards
tigor