diff options
author | tv <tv@krebsco.de> | 2018-11-30 18:16:20 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-11-30 18:16:20 +0100 |
commit | 4017c60485c4bfff533ff11bdbb5557fa951655f (patch) | |
tree | 25296bb5289245d70851ad1c3c529b409063b3a1 | |
parent | 6f49342b2d5973478f1f5eb6f8d6307059e7bcf7 (diff) |
populate git: set -efuv1.8.1
-rw-r--r-- | pkgs/populate/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/populate/default.nix b/pkgs/populate/default.nix index fad6d18..b5b8a7b 100644 --- a/pkgs/populate/default.nix +++ b/pkgs/populate/default.nix @@ -27,6 +27,7 @@ let rsync' target config (quote source.path); pop.git = target: source: shell' target /* sh */ '' + set -efu if ! test -e ${quote target.path}; then git clone --recurse-submodules ${quote source.url} ${quote target.path} fi |