diff options
author | Loic Dachary <loic@dachary.org> | 2016-01-12 01:26:14 +0100 |
---|---|---|
committer | Christopher Allan Webber <cwebber@dustycloud.org> | 2016-01-14 10:25:23 -0800 |
commit | c17f755eeaf9447ecae3e32b9602ec19633f5108 (patch) | |
tree | 45af5858a80512e1592faa3ade1206fa63d8b738 /devtools | |
parent | 90c083aafe91ed1404709adc92a596f1b6a3dc99 (diff) | |
download | mediagoblin-c17f755eeaf9447ecae3e32b9602ec19633f5108.tar.lz mediagoblin-c17f755eeaf9447ecae3e32b9602ec19633f5108.tar.xz mediagoblin-c17f755eeaf9447ecae3e32b9602ec19633f5108.zip |
Fix #5315 - use `env` in shebangs
Diffstat (limited to 'devtools')
-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 |
5 files changed, 5 insertions, 5 deletions
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. |