devtools: Switching "#!/usr/bin/env bash" -> "#!/bin/sh" again
authorChristopher Allan Webber <cwebber@dustycloud.org>
Tue, 29 Mar 2016 18:47:02 +0000 (11:47 -0700)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Tue, 29 Mar 2016 18:47:02 +0000 (11:47 -0700)
commitc09a54f8401c04b5b8b6c7fa8293416336fd3eef
tree83abe826559c39ee2fbf0666419f7694efe51a0b
parent7e7231aa1a195dc79e5014230a0ca62ecb844e93
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