make shell scripts portable
The current shell scripts call `/bin/bash`. This won't work on certain
systems (`nixos` for example 👀).
By switching to `/usr/bin/env bash` these scripts become portable. As
long as `bash` environment is present on a system, the scripts will
work.
This commit is contained in:
parent
1f7ddcdb33
commit
4924f22b48
3 changed files with 3 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
# A simple file to run all instructions from the README
|
# A simple file to run all instructions from the README
|
||||||
## this should be run in the root of the repository
|
## this should be run in the root of the repository
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
|
|
||||||
# args = map(lambda arg: arg if x[0] in "/-" else pwd+arg, sys.argv[1:])
|
# args = map(lambda arg: arg if x[0] in "/-" else pwd+arg, sys.argv[1:])
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
|
|
||||||
cd "$(dirname "$0")/app"
|
cd "$(dirname "$0")/app"
|
||||||
|
|
Loading…
Reference in a new issue