diff options
| -rwxr-xr-x | script/background_jobs | 2 | ||||
| -rwxr-xr-x | script/web | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/script/background_jobs b/script/background_jobs index 623e26a2831..06125c11ffe 100755 --- a/script/background_jobs +++ b/script/background_jobs @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash cd $(dirname $0)/.. app_root=$(pwd) diff --git a/script/web b/script/web index 5464ed040aa..1ad3b5d24b9 100755 --- a/script/web +++ b/script/web @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash cd $(dirname $0)/.. app_root=$(pwd) |