Lines Matching refs:csh
67 $SHELL. If $SHELL is not set or is invalid, csh will be
69 [c?force the use of csh, regardless of the value of $SHELL.]
70 [f?invoke csh with the -f (fast-start) option. This option is valid
71 only if $SHELL is unset or if it points to csh.]
374 "$(basename -- "${SHELL}")" != "csh" ]]; then
375 # $SHELL is set, and it's not csh.
378 print 'WARNING: -f is ignored when $SHELL is not csh'
385 print 'Using csh -f as shell.'
386 exec csh -f ${@:+-c "$@"}
389 print 'Using csh as shell.'
390 exec csh ${@:+-c "$@"}