1 2 3 4 5 6 7 8 9 10
#!/bin/bash set -e SCRIPT_PATH=$(readlink -f "${BASH_SOURCE:-$0}") SCRIPT_DIR=$(dirname "$SCRIPT_PATH") echo "[*] Running configure command 'spacetime $* $SCRIPT_DIR'" cd "$SCRIPT_DIR" && cargo run --release --bin spacetime -- "$@" "$SCRIPT_DIR"