From: Thomas Glanzmann Date: Thu, 27 Oct 2022 09:50:33 +0000 (+0200) Subject: Merge branch 'master' of a.gmvl.de:/git/m1-debian X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/f413f308ca170f0170c82c4c1db6f1fa9a550fd3?hp=402883b05fd71b1a3736e7ce3e145cd8dd79c054 Merge branch 'master' of a.gmvl.de:/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 15719b7..d82b045 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