populate git: set -efu

This commit is contained in:
tv 2018-11-30 18:16:20 +01:00
parent 6f49342b2d
commit 4017c60485
1 changed files with 1 additions and 0 deletions

View File

@ -27,6 +27,7 @@ let
rsync' target config (quote source.path); rsync' target config (quote source.path);
pop.git = target: source: shell' target /* sh */ '' pop.git = target: source: shell' target /* sh */ ''
set -efu
if ! test -e ${quote target.path}; then if ! test -e ${quote target.path}; then
git clone --recurse-submodules ${quote source.url} ${quote target.path} git clone --recurse-submodules ${quote source.url} ${quote target.path}
fi fi