urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-24 20:47:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Force removal of ./pier/stage directory.

Browse Source 
This is required to prevent `rm -r ./pier/stage` from crashing the
script when ./pier/stage doesn't exist, and seems to be necessary for
soliding a pill with the associated derivation.
This commit is contained in:
Jared Tobin 2019-07-02 07:28:01 +08:00
parent faa78d1fc7
commit 2000a14774
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nix/ops/solid/builder.sh
View File

@ -18,7 +18,7 @@ trap cleanup EXIT
herb ./pier -p hood -d '+hood/merge %stage our %home'
herb ./pier -p hood -d "+hood/mount /=stage="
rm -r ./pier/stage
rm -rf ./pier/stage
cp -r $ARVO ./pier/stage
chmod -R u+rw ./pier/stage