Don't delete repository when uninstalling

This commit is contained in:
Yorick Barbanneau 2020-11-06 18:07:28 +01:00
parent 01b2abba57
commit 77d78841e3

View file

@ -449,7 +449,6 @@ then
# install it. We need the cached copy for unistall. # install it. We need the cached copy for unistall.
install=0 install=0
source "$cache_file" source "$cache_file"
rm "$cache_file"
install=1 install=1
fi fi
else else