Robert Elz wrote: > | #! /usr/local/bin/dash > > ??? Why not /bin/sh
/bin/sh on my machine is linked to bash, all 614K of it. So I prefer to use dash, which weighs in at a svelte 108K. It's a personal preference, and a small tilt at a windmill. Also: we're getting off topic, and it's my fault for posting a shell script; apologies. _______________________________________________ Nmh-workers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
