Use bash for scripts

scripts/bazel.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eux -o pipefail
 

scripts/cmake.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eux -o pipefail
 

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.
 

scripts/setup-git-hooks.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eux -o pipefail
 

scripts/to_pdf.sh

@@ -1,2 +1,2 @@
-#!/bin/sh
+#!/bin/bash
 pandoc -V geometry:margin=0.75in DRAFT.md -o DRAFT.pdf