diff options
| -rwxr-xr-x | bootstrap.sh | 2 | ||||
| -rwxr-xr-x | devtools/compile_translations.sh | 2 | ||||
| -rwxr-xr-x | devtools/make_example_database.sh | 2 | ||||
| -rwxr-xr-x | devtools/maketarball.sh | 2 | ||||
| -rwxr-xr-x | devtools/update_extlib.sh | 2 | ||||
| -rwxr-xr-x | devtools/update_translations.sh | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index bc866703..e0147482 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/devtools/compile_translations.sh b/devtools/compile_translations.sh index 398cb5ca..6104892f 100755 --- a/devtools/compile_translations.sh +++ b/devtools/compile_translations.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2015 GNU MediaGoblin contributors. See AUTHORS. diff --git a/devtools/make_example_database.sh b/devtools/make_example_database.sh index 7e857f53..7cca3921 100755 --- a/devtools/make_example_database.sh +++ b/devtools/make_example_database.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2011, 2012 GNU MediaGoblin Contributors. See AUTHORS. diff --git a/devtools/maketarball.sh b/devtools/maketarball.sh index c6c2bc2b..70a7b651 100755 --- a/devtools/maketarball.sh +++ b/devtools/maketarball.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2011, 2012 GNU MediaGoblin Contributors. See AUTHORS. diff --git a/devtools/update_extlib.sh b/devtools/update_extlib.sh index 52ac7758..214fccef 100755 --- a/devtools/update_extlib.sh +++ b/devtools/update_extlib.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2015 GNU MediaGoblin Contributors. See AUTHORS. diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh index 58e4e11d..d04f4b33 100755 --- a/devtools/update_translations.sh +++ b/devtools/update_translations.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2011, 2012 GNU MediaGoblin contributors. See AUTHORS. |