From 54d412e8b931741f37d8b05f9d6ced1e663f5df2 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 26 May 2019 20:21:07 -0300 Subject: Specify shell type to ShellCheck in nix-shell shebang files --- ci-setup.sh | 1 + provision.sh | 1 + 2 files changed, 2 insertions(+) mode change 100644 => 100755 provision.sh diff --git a/ci-setup.sh b/ci-setup.sh index affa75d..0694f64 100755 --- a/ci-setup.sh +++ b/ci-setup.sh @@ -1,5 +1,6 @@ #!/usr/bin/env nix-shell #!nix-shell -i bash +# shellcheck shell=bash set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" diff --git a/provision.sh b/provision.sh old mode 100644 new mode 100755 index 9132068..0676d66 --- a/provision.sh +++ b/provision.sh @@ -1,5 +1,6 @@ #!/usr/bin/env nix-shell #!nix-shell -i bash +# shellcheck shell=bash set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" -- cgit v1.2.3