From aae6cdc32d1f9d5c60f6c1615452fdb22edc52d8 Mon Sep 17 00:00:00 2001 From: Thomas Glanzmann Date: Thu, 27 Oct 2022 11:50:30 +0200 Subject: [PATCH] improve shell scripts --- bootstrap.sh | 10 +++++++--- gpu.sh | 10 +++++++--- 2 files changed, 14 insertions(+), 6 deletions(-) mode change 100644 => 100755 bootstrap.sh 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 -- 2.39.2