From c09a54f8401c04b5b8b6c7fa8293416336fd3eef Mon Sep 17 00:00:00 2001
From: Christopher Allan Webber <cwebber@dustycloud.org>
Date: Tue, 29 Mar 2016 11:47:02 -0700
Subject: [PATCH] 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