mirror of
https://github.com/urbit/shrub.git
synced 2024-12-30 07:35:19 +03:00
23 lines
270 B
Bash
Executable File
23 lines
270 B
Bash
Executable File
source $stdenv/setup
|
|
|
|
set -ex
|
|
|
|
cp -r $PIER ./pier
|
|
chmod -R u+rw ./pier
|
|
|
|
$URBIT -d ./pier
|
|
|
|
cleanup () {
|
|
if [ -e ./pier/.vere.lock ]
|
|
then kill $(< ./pier/.vere.lock) || true;
|
|
fi
|
|
}
|
|
|
|
trap cleanup EXIT
|
|
|
|
herb ./pier -P ivory.pill -d '+ivory'
|
|
|
|
mv ivory.pill $out
|
|
|
|
set +x
|