Bohan Yang
5 years ago
1 changed files with
1 additions and
1 deletions
-
1
1
debi.sh
|
@@ -1,7 +1,7 @@
|
|
|
#!/bin/sh
|
|
#!/bin/sh
|
|
|
# shellcheck shell=dash
|
|
# shellcheck shell=dash
|
|
|
|
|
|
|
|
-set -euo pipefail
|
|
|
|
|
|
|
+set -eu
|
|
|
|
|
|
|
|
err() {
|
|
err() {
|
|
|
echo "Error: $1." 1>&2
|
|
echo "Error: $1." 1>&2
|