]> git.zerfleddert.de Git - m1-debian/commitdiff
improve shell scripts
authorThomas Glanzmann <thomas@glanzmann.de>
Thu, 27 Oct 2022 09:50:30 +0000 (11:50 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Thu, 27 Oct 2022 09:50:30 +0000 (11:50 +0200)
bootstrap.sh [changed mode: 0644->0755]
gpu.sh

old mode 100644 (file)
new mode 100755 (executable)
index f5a5aa7..0dfe714
@@ -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 c875e0c8990edc6a0a4f8601ad56882ab4409d12..61508fd351211dcda0af860aa92554ffabea44a1 100644 (file)
--- 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
Impressum, Datenschutz