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