From 5071fc714809ee8c6a9e4d49c676d7779cc5b894 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Sun, 17 Jan 2021 08:44:46 -0500 Subject: install_system(), session_end(): Remove prokit dir --- (limited to 'src/install.sh') diff --git a/src/install.sh b/src/install.sh index ef63f6e..38c1101 100644 --- a/src/install.sh +++ b/src/install.sh @@ -351,6 +351,7 @@ install_system() fi rm -f -- "${root}/prokit/installing" + rmdir -- "${root}/prokit" return 0 } -- cgit v0.9.1