From 2c8db45ab461709a7ad277e814e7a220cdc48d42 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 1 Apr 2026 05:11:47 +0000 Subject: [PATCH 1/2] Initial plan From 2ccb09a1983bba4274dc32eede6d6bd4bca26773 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 1 Apr 2026 05:15:55 +0000 Subject: [PATCH 2/2] Fix lockfile handling in taskboard-launch.sh to prevent multiple instances Agent-Logs-Url: https://github.com/jpmorris/taskboard/sessions/e223de8c-229c-456c-b199-ffaa530198f3 Co-authored-by: jpmorris <985548+jpmorris@users.noreply.github.com> --- taskboard-launch.sh | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/taskboard-launch.sh b/taskboard-launch.sh index 838246a..e4ea78a 100755 --- a/taskboard-launch.sh +++ b/taskboard-launch.sh @@ -1,7 +1,19 @@ #!/bin/bash # Launch taskboard watch in a small floating kitty terminal -exec kitty \ +LOCKFILE="${XDG_RUNTIME_DIR:-/tmp}/taskboard-launch.pid" + +# Suppress duplicate launches: if lockfile exists and the stored PID is alive, bail out +if [ -f "$LOCKFILE" ] && kill -0 "$(cat "$LOCKFILE")" 2>/dev/null; then + echo "Startup suppressed: $LOCKFILE contains running pid, startup script is already running" + exit 1 +fi + +# Remove lockfile on exit so future launches are not suppressed +trap 'rm -f "$LOCKFILE"' EXIT +echo $$ > "$LOCKFILE" + +kitty \ --title "TASKBOARD" \ -o font_size=8 \ -o initial_window_width=549 \