[Top] [All Lists]

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

2017-03-20 08:09:27
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

<Prev in Thread] Current Thread [Next in Thread>