Use a regular git clone
This commit is contained in:
parent
e28f2816ef
commit
d4f347186d
|
@ -51,8 +51,8 @@
|
||||||
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"
|
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"
|
||||||
pushd "''${user_path}"
|
pushd "''${user_path}"
|
||||||
|
|
||||||
echo ${pkgs.git}/bin/git bare-clone "''${repo_url}" "''${repo_name}"
|
echo ${pkgs.git}/bin/git clone "''${repo_url}" "''${repo_name}"
|
||||||
${pkgs.git}/bin/git bare-clone "''${repo_url}" "''${repo_name}"
|
${pkgs.git}/bin/git clone "''${repo_url}" "''${repo_name}"
|
||||||
|
|
||||||
popd
|
popd
|
||||||
t "''${repo_path}"
|
t "''${repo_path}"
|
||||||
|
|
Loading…
Reference in a new issue