diff options
| author | Christopher Allan Webber <cwebber@dustycloud.org> | 2016-02-10 11:11:02 -0800 |
|---|---|---|
| committer | Christopher Allan Webber <cwebber@dustycloud.org> | 2016-02-10 11:11:02 -0800 |
| commit | 493698a5360e3eca134cbb94aa3e4aa8656b105b (patch) | |
| tree | a675b956d06fa8c8cc10e582320b34b79a01a637 | |
| parent | 850eabc3251462a6c31d33e3952c6e0fcabd66b5 (diff) | |
| download | mediagoblin-493698a5360e3eca134cbb94aa3e4aa8656b105b.tar.lz mediagoblin-493698a5360e3eca134cbb94aa3e4aa8656b105b.tar.xz mediagoblin-493698a5360e3eca134cbb94aa3e4aa8656b105b.zip | |
Switch to #!/bin/sh (don't use "env" unless we have to)
env causes problems in GuixSD and maybe even some other places.
| -rwxr-xr-x | devtools/update_extlib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/update_extlib.sh b/devtools/update_extlib.sh index 214fccef..bc39a3cf 100755 --- a/devtools/update_extlib.sh +++ b/devtools/update_extlib.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # GNU MediaGoblin -- federated, autonomous media hosting # Copyright (C) 2015 GNU MediaGoblin Contributors. See AUTHORS. |