From 31a79b6238c3860d3361bb2c2a694a8a16157371 Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Fri, 6 Nov 2020 18:14:13 +0100 Subject: [PATCH] Don't delete repository when uninstalling --- src/dotinstall | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/dotinstall b/src/dotinstall index 3bc8aab..da44b0d 100755 --- a/src/dotinstall +++ b/src/dotinstall @@ -252,7 +252,7 @@ process_files () { dest="$2" source="${repository}/$1" - printf "Process files from directory %s:\n" "$source" + printf "\nProcess files from directory %s:\n" "$source" [ ! -d "$source" ] && { error " -> source is not a directory"; return; } [ ! -d "$dest" ] && { error " -> destination is not a directory"; return; } @@ -466,7 +466,6 @@ if [ $install -eq 0 ] then printf "\nRemove files for complete uninstall\n" rm "$cache_file" - rm -rf "$repository" fi exit 0