From c17f755eeaf9447ecae3e32b9602ec19633f5108 Mon Sep 17 00:00:00 2001 From: Loic Dachary Date: Tue, 12 Jan 2016 01:26:14 +0100 Subject: [PATCH] Fix #5315 - use `env` in shebangs --- bootstrap.sh | 2 +- devtools/compile_translations.sh | 2 +- devtools/make_example_database.sh | 2 +- devtools/maketarball.sh | 2 +- devtools/update_extlib.sh | 2 +- 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. -- 2.25.1