From e981a811e7f1b1a3140d3582bf4f1fd70c70f743 Mon Sep 17 00:00:00 2001 From: Nathan Wagner Date: Sun, 9 Dec 2018 10:21:49 +0000 Subject: [PATCH] delete cached package files when deleting a repo --- zpm-repo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zpm-repo b/zpm-repo index 0477952..737e9af 100755 --- a/zpm-repo +++ b/zpm-repo @@ -199,7 +199,7 @@ case $action in name=$(zpm quote "$1") zpm shell $ZPMDB "delete from repository where name = '$name'" rm -f $repodir/$1.repo - # TODO delete caches + test -d "$repodir/$repo" && rm -r "$repodir/$repo" ;; url) if [ -n "$2" ]; then -- 2.40.0