| # macOS: double-click this file (first time: right-click → Open). | |
| set -euo pipefail | |
| SOURCE="${BASH_SOURCE[0]:-$0}" | |
| while [[ -L "$SOURCE" ]]; do | |
| DIR="$(cd "$(dirname "$SOURCE")" && pwd)" | |
| SOURCE="$(readlink "$SOURCE")" | |
| [[ "$SOURCE" != /* ]] && SOURCE="$DIR/$SOURCE" | |
| done | |
| DIR="$(cd "$(dirname "$SOURCE")" && pwd)" | |
| exec "$DIR/start-ui.sh" | |