The message was cut, so I shorten it:
-
Markus Neteler wrote:
> ---
> (taken from Init.sh)
> I don't understand, why assuming "sed" is available is better than
> assuming "which" is available. Init.sh already uses several non-sh
> commands (sed, awk, grep, whoami). Why not "which"?here some explanations:
Unfortunately especially "which" doesn't appear on various platforms.
And also "type -p" even doesn't work everywhere. The others (sed, awk, grep,
whoami) are more common. That's the standardized un*x worldo Linux: $> alias which
alias which='type -p'$> type -p grass5
/usr/local/bin/grass5Solaris: $> alias which
alias: 'which' not found$> type -p grass5
/usr/local/bin/grass5CRAY: $> alias which
which: alias not found$> type -p grass5
/usr/local/bin/grass5We have found platforms (was it SGI) where "type -p" is not present. Urgs