[r6rs-discuss] [Formal] "#! /usr/bin/env" is not "portable." It's Unix-specific.

[John Cowan]

Trent Buck scripsit:

> Under Debian, at least, there is a mechanism called "alternatives" to
> choose the "best" installed alternative to be symlinked to a common
> name.
> 
> For example, if you install mawk and gawk, /usr/bin/awk will default
> to gawk and be customizable with `update-alternatives --config awk'.

I'm familiar with it.  However, it works best for something where
there is little reason to change your mind on the fly, like your
mail server or /bin/sh shell.  Mawk and gawk aren't all that
different: you typically want gawk, unless you are resource-constrained,
and then you go with mawk.

-- 
John Cowan  cowan at ccil.org    http://ccil.org/~cowan
Big as a house, much bigger than a house, it looked to [Sam], a grey-clad
moving hill.  Fear and wonder, maybe, enlarged him in the hobbit's eyes,
but the Mumak of Harad was indeed a beast of vast bulk, and the like of him
does not walk now in Middle-earth; his kin that live still in latter days are
but memories of his girth and his majesty.  --"Of Herbs and Stewed Rabbit"