claude
ad5d0e841c
- Lab-script path convention: course scripts live in modules/NN/lab/; copy the one a step needs into tasks-app, then run by bare name (M4/M6/M7/M26 + headers). - tasks.json stays gitignored: M20 verifies via `cli.py list`/`cat tasks.json` (not git diff) and frames runtime state as deliberately ignored; M22 cleanup uses `rm tasks.json`; M10 review-lab gets its own .gitignore. Module 21's lab deliberately ships NO .gitignore (teaching device) — untouched. - Stop running-example command collisions: M5 clear->search, M6 count/clear-> stats/purge, M7 clear/count->wipe/remaining (README + scripts + agent prompts + branch/worktree names). M6 conflict still reproduces on the carried usage line. Closes #7 Closes #10 Closes #11 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TfzV5QvtPDz8LJS3Pu5VLT
31 lines
1.1 KiB
Bash
31 lines
1.1 KiB
Bash
#!/usr/bin/env bash
|
|
#
|
|
# Module 7 lab — tear down the two worktrees created by setup-worktrees.sh.
|
|
# Copy this into your tasks-app repo, then run it from inside:
|
|
#
|
|
# cp /path/to/modules/07-worktrees-running-agents-in-parallel/lab/cleanup-worktrees.sh .
|
|
# bash cleanup-worktrees.sh
|
|
#
|
|
# `git worktree remove` deletes the folder AND clears Git's record of it; `prune` mops up any
|
|
# worktrees whose folders were deleted by hand (which leaves a stale record otherwise).
|
|
#
|
|
# NOTE: --force discards UNCOMMITTED work in a worktree. Commit (or merge) before cleaning up.
|
|
# This script assumes you already merged feature/wipe and feature/remaining back into main.
|
|
#
|
|
set -euo pipefail
|
|
|
|
ROOT="$(git rev-parse --show-toplevel)"
|
|
PARENT="$(cd "$ROOT/.." && pwd)"
|
|
|
|
git worktree remove "$PARENT/tasks-app-wipe" --force 2>/dev/null || true
|
|
git worktree remove "$PARENT/tasks-app-remaining" --force 2>/dev/null || true
|
|
git worktree prune
|
|
|
|
echo
|
|
echo "Cleanup done. Remaining worktrees:"
|
|
git worktree list
|
|
|
|
echo
|
|
echo "If you merged both branches you can also delete them:"
|
|
echo " git branch -d feature/wipe feature/remaining"
|