diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/install.sh | 1 | ||||
| -rw-r--r-- | src/session.sh | 2 |
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} |