delete files in /tmp created by zsh-bench-user

ahm-forks · Nov 13, 2021 · c17587c · c17587c
1 parent f70c7a2
commit c17587c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/internal/install-config b/internal/install-config
@@ -80,6 +80,11 @@ function delete-user() {
     if pids=($(command ps -u $user -o pid= 2>/dev/null)) && (( $#pids )); then
       kill -- $pids 2>/dev/null || true
     fi
+    {
+      { command rm -rf -- '' /tmp/**/*(Nu[$user]) } 2>/dev/null || true
+    } always {
+      TRY_BLOCK_ERROR=0
+    }
     try-delete-user &>/dev/null && return
     zselect -t $((100 * delay)) || true
     (( delay *= 2 ))