[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Nmh-workers] changes to mark.man
From: |
Larry Hynes |
Subject: |
Re: [Nmh-workers] changes to mark.man |
Date: |
Mon, 20 Mar 2017 13:03:37 +0000 |
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.