mirror of
https://github.com/urbit/shrub.git
synced 2024-12-22 02:11:38 +03:00
20 lines
285 B
Bash
Executable File
20 lines
285 B
Bash
Executable File
source $stdenv/setup
|
|
|
|
set -ex
|
|
|
|
urbit -d -F $SHIP -B "$PILL" $out
|
|
|
|
check () {
|
|
[ 3 -eq "$(urb $out -d 3)" ]
|
|
}
|
|
|
|
if check
|
|
then
|
|
echo "Boot success." >&2
|
|
urb $out -p hood -d '+hood/exit' || true
|
|
else
|
|
echo "Boot failure." >&2
|
|
kill $(< $out/.vere.lock) || true
|
|
exit 1
|
|
fi
|