>>> FWIW, I liked the idea suggesting to replace our /bin/csh with tcsh.
>> Ugh!  Please, not unless it's a tcsh which has a csh-compatible mode
> Note: I think there was a slight mis-parse in the original statement.
> I don't think we'd make /bin/csh be /bin/tcsh.  I think what we'd do
> is add /bin/tcsh and make it the "default default" in place of
> /bin/csh.

Ah.  In that case, I withdraw my squawk; I'd have no more problem with
that than with adding any other program of comparable size I don't use.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B