Commit 0f3038a
B. Wilson
make3: Switch to env-style shebang
Much ink has been spilled over the "correct" shebang. Here, opting for
env-style is making a declaration of *intent*: These scripts prioritize
environment flexiblity over execution precision.
In particular, using a `#!/bin/sh` shebang declares that this script
shall be run by the interpreter sitting at the absolute path `/bin/sh`.
This style of shebang is useful when needing precise control over the
executing interpreter.
However, the use case for these scripts means that we have little a
priori control over the executing interpreter, and there are legitimate
cases where users may wish to use some other shell in preference to
`/bin/sh`, e.g. containerized environments. The `#!/usr/bin/env sh`
shebang caters to these needs.
Of course, there are some cases (quite rare, now) where the env-shebang
in this commit will fail [0]; however, we make the decision to
de-prioritize these cases over the aforementioned ones.
[0]:https://www.in-ulm.de/~mascheck/various/shebang/#env1 parent 5cdde63 commit 0f3038a
7 files changed
Lines changed: 7 additions & 7 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments