scripts to run using /bin/bash, not /bin/sh

caronc · Aug 7, 2023 · a4a5141 · a4a5141
1 parent 768b384
commit a4a5141
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/checkdone.sh b/bin/checkdone.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- coding: utf-8 -*-
 # BSD 3-Clause License
 #

diff --git a/bin/test.sh b/bin/test.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- coding: utf-8 -*-
 # BSD 3-Clause License
 #