2020-06-04 16:21:25 +01:00
|
|
|
#! /usr/bin/env bash
|
|
|
|
|
|
|
|
set -euo pipefail
|
2020-07-16 10:56:44 +01:00
|
|
|
|
2020-07-16 09:48:00 +01:00
|
|
|
#### Detect Toolkit Project Root ####
|
2020-07-16 13:55:18 +01:00
|
|
|
# if realpath is not available, create a semi-equivalent function
|
|
|
|
command -v realpath >/dev/null 2>&1 || realpath() {
|
|
|
|
[[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"
|
|
|
|
}
|
2020-07-16 09:48:00 +01:00
|
|
|
SCRIPT_PATH="$(realpath "${BASH_SOURCE[0]}")"
|
|
|
|
SCRIPT_DIR="$(dirname "$SCRIPT_PATH")"
|
|
|
|
TOOLKIT_ROOT="$(realpath "$SCRIPT_DIR/..")"
|
|
|
|
if [[ ! -d "$TOOLKIT_ROOT/bin" ]] || [[ ! -d "$TOOLKIT_ROOT/config" ]]; then
|
|
|
|
echo "ERROR: could not find root of overleaf-toolkit project (inferred project root as '$TOOLKIT_ROOT')"
|
|
|
|
exit 1
|
|
|
|
fi
|
2020-06-04 16:21:25 +01:00
|
|
|
|
|
|
|
function __main__() {
|
2020-07-16 09:48:00 +01:00
|
|
|
exec "$TOOLKIT_ROOT/bin/docker-compose" stop "$@"
|
2020-06-04 16:21:25 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
__main__ "$@"
|