Merge pull request #5625 from urbit/jo/maint-fix

repo: desks should be mounted
This commit is contained in:
Jōshin 2022-03-05 14:22:55 -08:00 committed by GitHub
commit 8f8e67f09f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -169,6 +169,11 @@ command):
> |merge %landscape our %base
> |merge %bitcoin our %base
> |merge %webterm our %base
> |mount %
> |mount %garden
> |mount %landscape
> |mount %bitcoin
> |mount %webterm
% rsync -avL --delete pkg/arvo/ zod/base/
% for desk in garden landscape bitcoin webterm; do \
rsync -avL --delete pkg/$desk/ zod/$desk/ \