Re: [Nmh-workers] changes to mark.man

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
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers