Jean-Luc Jox
5 lines
137 B
Bash
Executable File
5 lines
137 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)
|
|
exec "$SCRIPT_DIR"/update.hs "$(realpath "$0")" "$1"
|