🐛 use bash for scripts with bashisms

apt-dater-history-prune

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Prune old apt-dater history
 MTIME=+365
 

dir-empty

@@ -2,7 +2,7 @@
 # Check that all of the given directories are empty
 
 for d in "$@"; do
-  if [[ -n "$(ls -1 "$d")" ]]; then
+  if [ -n "$(ls -1 "$d")" ]; then
     exit 1
   fi
 done

randint

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Give a random integer between 1 and $1 inclusive
 
 min=1