Clone depth 1 so we only grab the latest layer of the repo and not the whole history. Be nice!

This commit is contained in:
Dan Schaper 2016-10-07 16:34:40 -07:00
parent 763c310778
commit 3163fece31

View file

@ -678,7 +678,7 @@ make_repo() {
# Remove the non-repod interface and clone the interface
echo -n "::: Cloning $2 into $1..."
${SUDO} rm -rf "$1"
${SUDO} git clone -q "$2" "$1" > /dev/null & spinner $!
${SUDO} git clone --depth 1 -q "$2" "$1" > /dev/null & spinner $!
echo " done!"
}