In which case, couldn't they just do "sh -c whatever" as the thing that
would get passed to their login shell (i.e., csh)? It's a bit clumsy,
but it should work for the few people that are in that situation.
Why do you want to use the user shell exactly?
Yes, the user might be more familiar with its syntax,
but it seems rather common in situations like this to
go with the LCD and leave it at /bin/sh. This could also
make support easier since it ought to narrow the options
for surprises e.g; someone forgets to mention that their
shell is actually zoidberg or some other esoteric thing.
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers