Am Samstag, 4. April 2020, 10:32:56 CEST schrieb Jan
On Saturday 2020-04-04 10:00, Stefan Seyfried
Am 04.04.20 um 08:38 schrieb Jan Engelhardt:
On Saturday 2020-04-04 00:06, Christian Boltz
> /usr/bin/env bash has some disadvantages:
> - worst: the script might get a "random" bash (possibly /usr/local/bin/
> bash) which is not expected by the packaged script, and might or might
> not work
That's actually not a "disadvantage". The *programmer* clearly requested
a random bash - and, computers being what they are, deliver what was
asked for. Garbage in, garbage out.
And it actually lets the admin take control by putting the bash he likes
I had hoped you recognized the joke here.
As a sensible programmer, I would not want non-deterministic behavior in my
program. I want the one true bash that behaves the same everywhere, not
something the admin likes.
Hey, *non deterministic* behavior is not an disadvantage. It boldly imitates
how our world ticks at the moment, and that's been called the SNAFU principle.