From 895a83049fb8cccf0f3a7834d5cc5f80e80a9a66 Mon Sep 17 00:00:00 2001
From: Li Tang <iamtangli42@gmail.com>
Date: Mon, 18 May 2026 13:35:13 +0800
Subject: [PATCH] chore: add tmux session clean

Signed-off-by: Li Tang <iamtangli42@gmail.com>
---
 .zshrc | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/.zshrc b/.zshrc
index 3c95420..fe0c4d7 100644
--- a/.zshrc
+++ b/.zshrc
@@ -448,6 +448,21 @@ function dev() {
     fi
 }
 
+# Destroy the dev session matching the current directory (or a given name)
+# Usage: undev [session-name]
+#   Mirrors dev()'s session-name derivation: basename $(pwd) with '.' and ':' -> '_'
+function undev() {
+    local session="${1:-$(basename "$(pwd)")}"
+    session="${session//[.:]/_}"
+
+    if ! tmux has-session -t "$session" 2>/dev/null; then
+        echo "undev: no tmux session named '$session'" >&2
+        return 1
+    fi
+
+    tmux kill-session -t "$session"
+}
+
 # Create a throwaway scratch workspace in a temp dir
 # Usage: scratch [-g] [--git] [oc|cc|codex|copilot]
 #   Creates /tmp/scratch-<ts>, calls dev() for a throwaway workspace
@@ -475,7 +490,7 @@ function scratch() {
 
     pushd "$dir" > /dev/null
 
-    local session="scratch_${ts}"
+    local session="scratch-${ts}"
     dev "${extra_args[@]}" "$session"
 
     popd > /dev/null