Echo the git clone command before running it

This commit is contained in:
Oliver Davies 2024-04-17 00:24:46 +01:00
parent 51b6d6b8c5
commit d0e42b602f

View file

@ -44,6 +44,7 @@
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"
pushd "''${user_path}"
echo ${pkgs.git}/bin/git bare-clone "''${repo_url}" "''${repo_name}"
${pkgs.git}/bin/git bare-clone "''${repo_url}" "''${repo_name}"
popd