From f0e1438fe10edd59f6403e834c5240a534f6fc95 Mon Sep 17 00:00:00 2001 From: "Jonathan B. Coe" Date: Sun, 15 Mar 2026 21:56:31 +0000 Subject: [PATCH] Use bash for scripts --- scripts/bazel.sh | 2 +- scripts/cmake.sh | 2 +- scripts/ignore_edits_to.sh | 2 +- scripts/setup-git-hooks.sh | 2 +- scripts/to_pdf.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) 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