diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:08:30 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:08:30 -0400 |
| commit | a8704962d028da590cb2adb521e47d247fc8373c (patch) | |
| tree | 22ea9cf5553d188e7a93556fac601adbfb5e9da5 /etc | |
| parent | a9f4d270c69f4cb746360a46e605031c4ecb26b7 (diff) | |
more sh portability fixes...
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/machine.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/machine.sh b/etc/machine.sh index 43981110b..63b9897d0 100755 --- a/etc/machine.sh +++ b/etc/machine.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -euo pipefail +set -eu printf "$(hostname)" printf - |