Don't delete an existing directory and clone our repo in its place. TODO: Something more robust

Signed-off-by: Adam Warner <me@adamwarner.co.uk>
pull/3893/head
Adam Warner 3 years ago
parent a217c75134
commit 61f13a334d
No known key found for this signature in database
GPG Key ID: 872950F3ECF2B173

@ -528,8 +528,8 @@ make_repo() {
printf " %b %s..." "${INFO}" "${str}"
# If the directory exists,
if [[ -d "${directory}" ]]; then
# delete everything in it so git can clone into it
rm -rf "${directory}"
# Return with a 1 to exit the installer. We don't want to overwrite what could already be here in case it is not ours
return 1
fi
# Clone the repo and return the return code from this command
git clone -q --depth 20 "${remoteRepo}" "${directory}" &> /dev/null || return $?

Loading…
Cancel
Save