From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Thu, 27 Oct 2022 09:50:30 +0000 (+0200)
Subject: improve shell scripts
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/aae6cdc32d1f9d5c60f6c1615452fdb22edc52d8

improve shell scripts
---

diff --git a/bootstrap.sh b/bootstrap.sh
old mode 100644
new mode 100755
index f5a5aa7..0dfe714
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,9 +1,13 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # SPDX-License-Identifier: MIT
 
-set -x
-set -e
+set -o errexit
+set -o nounset
+set -o pipefail
+set -o xtrace
+
+cd "$(dirname "$0")"
 
 unset LC_CTYPE
 unset LANG
diff --git a/gpu.sh b/gpu.sh
index c875e0c..61508fd 100644
--- a/gpu.sh
+++ b/gpu.sh
@@ -1,9 +1,13 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # SPDX-License-Identifier: MIT
 
-set -x
-set -e
+set -o errexit
+set -o nounset
+set -o pipefail
+set -o xtrace
+
+cd "$(dirname "$0")"
 
 unset LC_CTYPE
 unset LANG