mirror of
https://github.com/urbit/shrub.git
synced 2024-12-21 01:41:37 +03:00
23 lines
270 B
Bash
23 lines
270 B
Bash
|
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
|