18 Aug
2011
18 Aug
'11
7:03 a.m.
On Thu, Aug 18, 2011 at 08:16:02 (CEST), Mike Gabriel wrote:
EXEC=
which $cmdactually I would remove 'which' altogether. However, type is a bash built-in function if I'm not mistaken, so on distributions where bash is not the default shell, this may present problems...
@Alex, Morty, Reinhard: any comments on this one???
Seems pretty pointless to me as well. Either $cmd can be resolved in the
search path ($PATH environment variable), then $cmd would do the same,
or if it is not, then the which or type call will fail as well.
Cheers
-- Gruesse/greetings, Reinhard Tartler, KeyID 945348A4