diff --git a/scripts/bazel.sh b/scripts/bazel.sh index 7b51b4d3..a4fd076a 100755 --- a/scripts/bazel.sh +++ b/scripts/bazel.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eux -o pipefail diff --git a/scripts/cmake.sh b/scripts/cmake.sh index e02093bc..ba5f40cf 100755 --- a/scripts/cmake.sh +++ b/scripts/cmake.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eux -o pipefail diff --git a/scripts/ignore_edits_to.sh b/scripts/ignore_edits_to.sh index feea938e..c233e96b 100755 --- a/scripts/ignore_edits_to.sh +++ b/scripts/ignore_edits_to.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # A script to allow edits to files to be ignored without them being part of .gitignore. # Useful for maintaining local-only config such as vscode settings. diff --git a/scripts/setup-git-hooks.sh b/scripts/setup-git-hooks.sh index 6e9f5cb3..7a679a04 100755 --- a/scripts/setup-git-hooks.sh +++ b/scripts/setup-git-hooks.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eux -o pipefail diff --git a/scripts/to_pdf.sh b/scripts/to_pdf.sh index 79381b4b..fb3f056e 100755 --- a/scripts/to_pdf.sh +++ b/scripts/to_pdf.sh @@ -1,2 +1,2 @@ -#!/bin/sh +#!/bin/bash pandoc -V geometry:margin=0.75in DRAFT.md -o DRAFT.pdf