summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick McDermott <patrick.mcdermott@libiquity.com>2021-01-17 08:44:46 (EST)
committer Patrick McDermott <patrick.mcdermott@libiquity.com>2021-01-17 08:44:46 (EST)
commit5071fc714809ee8c6a9e4d49c676d7779cc5b894 (patch)
tree93bb147dffc54239d5799a1302f7286c2b446940
parent35e9cf16090a3ffe7b6153e9e9d1bbe767b7dc3f (diff)
install_system(), session_end(): Remove prokit dir
-rw-r--r--src/install.sh1
-rw-r--r--src/session.sh2
2 files changed, 3 insertions, 0 deletions
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
}
diff --git a/src/session.sh b/src/session.sh
index c5a78ea..7cf5801 100644
--- a/src/session.sh
+++ b/src/session.sh
@@ -91,6 +91,8 @@ session_end()
fi
mutex_unlock "${_session_root}/prokit/sessions.lock"
+
+ rmdir -- "${_session_root}/prokit" 2>/dev/null || :
trap - ${_session_sigs}