using shebang /bin/bash instead of /bin/sh

2018-05-24 15:23:24 +01:00
parent 7d59cac797
commit c99e5d201e
1 changed files with 1 additions and 1 deletions
--- a/generate_page.sh
+++ b/generate_page.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 ##
 ## generate_page.sh