diff options
author | Quentin Gliech <quentingliech@gmail.com> | 2021-03-25 17:53:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-25 16:53:54 +0000 |
commit | d4c4798a2548a53b63546a176f6dd350c4ad26bc (patch) | |
tree | 03a1d35dd268e0d6eebf0163e54789a1df7937b9 /demo/stop.sh | |
parent | platform specific prerequisites in source install (#9667) (diff) | |
download | synapse-d4c4798a2548a53b63546a176f6dd350c4ad26bc.tar.xz |
Use interpreter from $PATH instead of absolute paths in various scripts using /usr/bin/env (#9689)
On NixOS, `bash` isn't under `/bin/bash` but rather in some directory in `$PATH`. Locally, I've been patching those scripts to make them work. `/usr/bin/env` seems to be the only [portable way](https://unix.stackexchange.com/questions/29608/why-is-it-better-to-use-usr-bin-env-name-instead-of-path-to-name-as-my) to use binaries from the PATH as interpreters. Signed-off-by: Quentin Gliech <quentingliech@gmail.com>
Diffstat (limited to 'demo/stop.sh')
-rwxr-xr-x | demo/stop.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/stop.sh b/demo/stop.sh index 85a1d2c161..f9dddc5914 100755 --- a/demo/stop.sh +++ b/demo/stop.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash DIR="$( cd "$( dirname "$0" )" && pwd )" |