From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Thu, 27 Oct 2022 16:42:42 +0000 (+0200)
Subject: Merge branch 'master' of 88.198.237.222:/git/m1-debian
X-Git-Url: http://cvs.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/f7b89e2bf394dc05f53e9e5e0669a9c0d09fcaac?hp=2f4ad91b80312ce77b997a832bb7755dbc170c55

Merge branch 'master' of 88.198.237.222:/git/m1-debian
---

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 d47328a..f6ee3f0 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