summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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}