Index: man/src/common_demo_functions.sh |
diff --git a/man/src/common_demo_functions.sh b/man/src/common_demo_functions.sh |
index af7c906554ac09976c4edf2957e0108b74f84b0a..8f85ad1ea05d045776b9b1f9fc242b86791b2024 100755 |
--- a/man/src/common_demo_functions.sh |
+++ b/man/src/common_demo_functions.sh |
@@ -1,4 +1,4 @@ |
-#!/bin/bash |
+#!/usr/bin/env bash |
REMOTE=$(pwd)/demo_repo |