10 lines
212 B
Bash
Executable File
10 lines
212 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
if [[ -x "scripts/agent/session-end.sh" ]]; then
|
|
exec bash scripts/agent/session-end.sh "$@"
|
|
fi
|
|
|
|
echo "[mosaic] Missing scripts/agent/session-end.sh in $(pwd)" >&2
|
|
exit 1
|