synapse/demo/stop.sh

#!/usr/bin/env bash

DIR="$( cd "$( dirname "$0" )" && pwd )"

FILES=$(find "$DIR" -name "*.pid" -type f);

for pid_file in $FILES; do
    pid=$(cat "$pid_file")
    if [[ $pid ]]; then
        echo "Killing $pid_file with $pid"
        kill $pid
    fi
done
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> 2021-03-25 17:53:54 +01:00			`#!/usr/bin/env bash`
Reference Matrix Home Server 2014-08-12 15:10:52 +01:00
			`DIR="$( cd "$( dirname "$0" )" && pwd )"`

			`FILES=$(find "$DIR" -name "*.pid" -type f);`

			`for pid_file in $FILES; do`
			`pid=$(cat "$pid_file")`
			`if [[ $pid ]]; then`
			`echo "Killing $pid_file with $pid"`
			`kill $pid`
			`fi`
			`done`