From c09a54f8401c04b5b8b6c7fa8293416336fd3eef Mon Sep 17 00:00:00 2001 From: Christopher Allan Webber Date: Tue, 29 Mar 2016 11:47:02 -0700 Subject: [PATCH 1/1] devtools: Switching "#!/usr/bin/env bash" -> "#!/bin/sh" again This makes things easier on Guix and etc. We don't need Bash specifically, just something Bourne-compatible, which all Posix machines should theoretically provide. * devtools/update_translations.sh: Updated shebang. --- devtools/update_translations.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh index d04f4b33..29d3a5fc 100755 --- a/devtools/update_translations.sh +++ b/devtools/update_translations.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2011, 2012 GNU MediaGoblin contributors. See AUTHORS. -- 2.25.1