Subject: re: bin/10611: /usr/bin/which reads user's .chsrc even if user's shell is not csh
To: Emmanuel Dreyfus <firstname.lastname@example.org>
From: matthew green <email@example.com>
Date: 07/17/2000 17:09:25
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?
then you break what 'which(1)' does for users who have a valid and
working .cshrc but their $SHELL isn't set to /bin/csh.
which is for csh users. it isn't for anyone else. that's just how