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.

diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh
index d04f4b3363dc7940f0f387077169997169d7c510..29d3a5fc4f16aac10706ba6334c2d0f30cfd1c07 100755 (executable)
--- 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.