Subject: Re: bin/10611: /usr/bin/which reads user's .chsrc even if user's shell is not csh
To: Chris G. Demetriou <firstname.lastname@example.org>
From: Emmanuel Dreyfus <email@example.com>
Date: 07/17/2000 09:09:03
> Yes, if you're not a csh user it may seem less than optimal... but
> it's the way that which has always worked, and changing it will cause
> serious problems for people who have gotten used to using it. (in
> particular, if it doesn't source the user's cshrc, it can't
> necessarily figure out aliases, etc.)
A nice solution would be to have the -f flag, and to run ~/.cshrc
manually in the script *if* $SHELL is /bin/csh.
Would this this be a problem?
Il ne suffit pas de crier l'iMac, l'iMac! en sautant comme un cabri...