diff options
-rwxr-xr-x | bin/populate | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/populate b/bin/populate index 7f43cf3..6ffe9f7 100755 --- a/bin/populate +++ b/bin/populate @@ -147,6 +147,10 @@ populate_git() {( { echo set -efu + echo 'if ! type git 2>/dev/null; then' + echo ' PATH=${PATH+$PATH:}$(nix-build --no-out-link -A git "<nixpkgs>")' + echo 'fi' + echo git_url=$(quote "$git_url") echo git_ref=$(quote "$git_ref") |