435 lines
20 KiB
Bash
435 lines
20 KiB
Bash
#!/usr/bin/env bash
|
|
# showcase reap — tear down leaked/forgotten isolated stacks and orphaned state.
|
|
# Sourced by the main dispatcher; do not execute directly.
|
|
#
|
|
# Background. The isolation harness reserves a slot + a uniquely-named compose
|
|
# project (showcase-iso<N>, or a user-supplied --isolate <name>) per run, with
|
|
# per-run scratch under runs/<project> and a slot record under slots/<N>. A
|
|
# clean exit reaps everything; a --keep'd run (or a crash) deliberately leaves
|
|
# the stack standing. Over time those forgotten stacks accumulate — running
|
|
# containers, named volumes, slot dirs, run dirs — with no single tool to list
|
|
# or sweep them. `showcase reap` is that tool.
|
|
#
|
|
# Safety is the whole point of this command, so it errs hard toward NOT
|
|
# destroying anything by surprise:
|
|
# * DRY-RUN BY DEFAULT — `showcase reap` with no flags prints the full plan
|
|
# and changes nothing. Teardown happens only with --force (alias --yes,-f).
|
|
# * NEVER touches the base `showcase` project (the live default stack — its
|
|
# --volumes teardown would destroy PocketBase data) or BuildKit builder
|
|
# resources (buildx_buildkit_* / *_buildx). These exclusions apply to the
|
|
# dry-run/--all "unidentified — review manually" listing too, not only to
|
|
# teardown.
|
|
# * Per-project teardown reuses _reap_isolate_slot where a slot record exists
|
|
# (so the charset/path-traversal/reserved-name guards there are honored),
|
|
# and otherwise mirrors its exact teardown: compose -p <name> down
|
|
# --remove-orphans --volumes, then rm -rf runs/<name>.
|
|
|
|
CMD_REAP_DESC="Tear down leaked/forgotten isolated stacks"
|
|
|
|
usage_reap() {
|
|
cat <<'HELP'
|
|
Usage: showcase reap [<name|slot>] [options]
|
|
|
|
Tear down leaked/forgotten isolated showcase stacks (running containers, named
|
|
volumes, slot dirs, run dirs) left behind by --keep'd or crashed runs.
|
|
|
|
DRY-RUN BY DEFAULT: with no --force, `reap` only prints the plan and changes
|
|
nothing (exit 0). Pass --force to actually tear things down.
|
|
|
|
Targets (no positional arg = sweep all harness-owned isolated state):
|
|
<name|slot> Reap exactly one named compose project, or the project recorded
|
|
for one slot number. Requires --force to execute.
|
|
|
|
Options:
|
|
-f, --force Execute the teardown (alias: --yes). Reaps stale/orphaned state
|
|
plus kept stacks past their keep-TTL; PRESERVES kept stacks
|
|
within TTL and any project with a live owner.
|
|
--yes Alias of --force.
|
|
--all With --force, reap EVERY harness-owned isolated project
|
|
regardless of age/keep state (the "tear down everything
|
|
isolated now" escape hatch). Never touches base `showcase` or
|
|
BuildKit. Projects not identifiable as harness-owned are listed
|
|
"unidentified — review manually" and left alone. PRESERVES
|
|
projects with a live owner unless --include-live is also given.
|
|
--include-live
|
|
Opt in to reaping projects classified `live` (an actively-owned,
|
|
in-use stack). Without it, a live-owner project is PRESERVED and
|
|
a loud warning is emitted even when named as an explicit target
|
|
or swept by --all. Use this only when you intend to tear down a
|
|
stack that is still in active use.
|
|
--json Emit one JSON object per project (JSONL), instead of the table.
|
|
-h, --help Show this help.
|
|
|
|
Never touches the base `showcase` stack or BuildKit (buildx_buildkit_* /
|
|
*_buildx) resources under any flag.
|
|
HELP
|
|
}
|
|
|
|
# A project name is reapable-safe only if it passes the same guard
|
|
# _reap_isolate_slot enforces (compose charset) AND is neither the reserved
|
|
# base `showcase` project nor a BuildKit builder resource. The buildkit/buildx
|
|
# exclusion is belt-and-suspenders: those names never appear in our slot
|
|
# records, but a label/docker scan could surface them, and they must never be
|
|
# torn down OR listed as candidates.
|
|
_reap_name_safe() {
|
|
local name="$1"
|
|
[ -n "$name" ] || return 1
|
|
[ "$name" = "showcase" ] && return 1
|
|
case "$name" in
|
|
*buildkit*|*buildx*) return 1 ;;
|
|
esac
|
|
[[ "$name" =~ ^[a-z0-9][a-z0-9_-]*$ ]] || return 1
|
|
return 0
|
|
}
|
|
|
|
# Resolve the slot number whose `project` record names <proj>, or empty if no
|
|
# slot records it. Used to annotate the plan and to route teardown through
|
|
# _reap_isolate_slot (which removes the slot dir too).
|
|
_reap_slot_for_project() {
|
|
local proj="$1" n entry
|
|
for entry in "$ISOLATE_SLOT_DIR"/[0-9]*; do
|
|
[ -d "$entry" ] || continue
|
|
n="$(basename "$entry")"
|
|
[[ "$n" =~ ^[0-9]+$ ]] || continue
|
|
[ "$(cat "$entry/project" 2>/dev/null || true)" = "$proj" ] && { printf '%s' "$n"; return 0; }
|
|
done
|
|
return 0
|
|
}
|
|
|
|
# Count RUNNING+stopped containers for a compose project (so the plan reflects
|
|
# what teardown will actually remove, not just what is up right now). Empty
|
|
# docker → 0. Counts non-empty lines via a while-read loop (portable, and never
|
|
# emits the stray whitespace `grep -c` can on some platforms — the result is
|
|
# compared numerically by the caller).
|
|
_reap_container_count() {
|
|
local proj="$1" id count=0
|
|
while IFS= read -r id; do
|
|
[ -n "$id" ] && count=$((count + 1))
|
|
done < <(docker ps -a --filter "label=com.docker.compose.project=$proj" -q 2>/dev/null)
|
|
printf '%s' "$count"
|
|
}
|
|
|
|
# Count named volumes for a compose project (see _reap_container_count).
|
|
_reap_volume_count() {
|
|
local proj="$1" v count=0
|
|
while IFS= read -r v; do
|
|
[ -n "$v" ] && count=$((count + 1))
|
|
done < <(docker volume ls --filter "label=com.docker.compose.project=$proj" -q 2>/dev/null)
|
|
printf '%s' "$count"
|
|
}
|
|
|
|
# Print the de-duplicated identification UNION of harness-owned isolated
|
|
# project names, one per line. Sources (any one suffices):
|
|
# 1. slots/<N>/project records — the canonical registry.
|
|
# 2. runs/<name> scratch dirs — orphaned run dirs whose slot is gone.
|
|
# 3. Docker compose-project label scan, kept when the name is showcase-iso<N>,
|
|
# already in a slot record / run dir, OR carries our self-id label
|
|
# com.copilotkit.showcase.isolate=1 (the ONLY signal that catches a
|
|
# user-supplied --isolate <name> orphan whose slot record was lost).
|
|
# The base `showcase` project and BuildKit resources are filtered here so they
|
|
# can never enter the candidate set. Names failing the compose charset guard
|
|
# are dropped (a corrupt record can't drive a teardown).
|
|
_reap_identify() {
|
|
local -a names=()
|
|
local n entry proj
|
|
|
|
# 1. slot records
|
|
for entry in "$ISOLATE_SLOT_DIR"/[0-9]*; do
|
|
[ -d "$entry" ] || continue
|
|
n="$(basename "$entry")"
|
|
[[ "$n" =~ ^[0-9]+$ ]] || continue
|
|
proj="$(cat "$entry/project" 2>/dev/null || true)"
|
|
[ -n "$proj" ] && names+=("$proj")
|
|
done
|
|
|
|
# 2. orphaned run dirs
|
|
local runs_base
|
|
runs_base="$(_showcase_state_base)/runs"
|
|
if [ -d "$runs_base" ]; then
|
|
for entry in "$runs_base"/*; do
|
|
[ -d "$entry" ] || continue
|
|
names+=("$(basename "$entry")")
|
|
done
|
|
fi
|
|
|
|
# 3. docker scans (compose-project label + our self-id label). Both are
|
|
# best-effort: a docker failure leaves the registry/run-dir sources intact.
|
|
if command -v docker >/dev/null 2>&1; then
|
|
# Self-id label scan: every project carrying com.copilotkit.showcase.isolate=1
|
|
# is harness-owned by construction, so it is always a candidate.
|
|
while IFS= read -r proj; do
|
|
[ -n "$proj" ] && names+=("$proj")
|
|
done < <(docker ps -a \
|
|
--filter "label=com.copilotkit.showcase.isolate=1" \
|
|
--format '{{.Label "com.docker.compose.project"}}' 2>/dev/null | sort -u)
|
|
|
|
# Generic compose-project scan: keep showcase-iso<N>, or any name already
|
|
# known from a slot record / run dir (a name not matching either pattern is
|
|
# left for the --all "unidentified" listing, NOT auto-reaped).
|
|
local existing
|
|
existing="$(printf '%s\n' "${names[@]+"${names[@]}"}")"
|
|
while IFS= read -r proj; do
|
|
[ -n "$proj" ] || continue
|
|
if [[ "$proj" =~ ^showcase-iso[0-9]+$ ]] || printf '%s\n' "$existing" | grep -qxF "$proj"; then
|
|
names+=("$proj")
|
|
fi
|
|
done < <(docker ps -a \
|
|
--filter "label=com.docker.compose.project" \
|
|
--format '{{.Label "com.docker.compose.project"}}' 2>/dev/null | sort -u)
|
|
fi
|
|
|
|
# De-dupe + apply the hard safety filter (base showcase / buildkit / charset).
|
|
printf '%s\n' "${names[@]+"${names[@]}"}" | sort -u | while IFS= read -r proj; do
|
|
_reap_name_safe "$proj" && printf '%s\n' "$proj"
|
|
done
|
|
}
|
|
|
|
# Print every running/stopped compose project Docker knows about that is NOT in
|
|
# our identification union and is NOT base showcase / BuildKit — the
|
|
# "unidentified — review manually" set surfaced by --all and the dry-run plan.
|
|
_reap_unidentified() {
|
|
command -v docker >/dev/null 2>&1 || return 0
|
|
local identified="$1" proj
|
|
while IFS= read -r proj; do
|
|
[ -n "$proj" ] || continue
|
|
[ "$proj" = "showcase" ] && continue
|
|
case "$proj" in *buildkit*|*buildx*) continue ;; esac
|
|
printf '%s\n' "$identified" | grep -qxF "$proj" && continue
|
|
printf '%s\n' "$proj"
|
|
done < <(docker ps -a \
|
|
--filter "label=com.docker.compose.project" \
|
|
--format '{{.Label "com.docker.compose.project"}}' 2>/dev/null | sort -u)
|
|
}
|
|
|
|
# Tear down ONE identified project. Routes through _reap_isolate_slot when a
|
|
# slot records it (removes the slot dir + run dir + compose state in the
|
|
# guarded order); otherwise mirrors that exact teardown for a record-less
|
|
# orphan (compose down --volumes, then rm -rf runs/<name>). The caller has
|
|
# already confirmed _reap_name_safe.
|
|
_reap_teardown_project() {
|
|
local proj="$1" slot
|
|
slot="$(_reap_slot_for_project "$proj")"
|
|
if [ -n "$slot" ]; then
|
|
_reap_isolate_slot "$ISOLATE_SLOT_DIR/$slot" "$proj"
|
|
else
|
|
docker compose -p "$proj" down --remove-orphans --volumes >/dev/null 2>&1 || true
|
|
rm -rf "$(_showcase_state_base)/runs/$proj" 2>/dev/null || true
|
|
fi
|
|
}
|
|
|
|
cmd_reap() {
|
|
local opt_force=false
|
|
local opt_all=false
|
|
local opt_json=false
|
|
local opt_include_live=false
|
|
local target=""
|
|
|
|
while [[ $# -gt 0 ]]; do
|
|
case "$1" in
|
|
-f|--force|--yes) opt_force=true; shift ;;
|
|
--all) opt_all=true; shift ;;
|
|
--include-live) opt_include_live=true; shift ;;
|
|
--json) opt_json=true; shift ;;
|
|
-h|--help) usage_reap; return 0 ;;
|
|
-*) die "Unknown flag: $1 (see 'showcase reap --help')" ;;
|
|
*)
|
|
[ -n "$target" ] && die "Only one <name|slot> target may be given (see 'showcase reap --help')"
|
|
target="$1"; shift ;;
|
|
esac
|
|
done
|
|
|
|
if $opt_all && [ -n "$target" ]; then
|
|
die "--all and a <name|slot> target are mutually exclusive (see 'showcase reap --help')"
|
|
fi
|
|
|
|
# Build the candidate list of (project, classification) pairs.
|
|
# classification ∈ live | kept | stale | orphaned-rundir | inconclusive
|
|
# plus the per-project slot/rundir/container/volume facts.
|
|
local -a all_projects=()
|
|
while IFS= read -r proj; do
|
|
[ -n "$proj" ] && all_projects+=("$proj")
|
|
done < <(_reap_identify)
|
|
|
|
# The FULL harness-owned identification union — captured BEFORE any
|
|
# single-target narrowing below. The "unidentified — review manually" listing
|
|
# must always be computed against this complete set, NEVER the narrowed
|
|
# single-target set; otherwise every OTHER harness-owned iso project would be
|
|
# falsely surfaced as "NOT harness-owned" in single-target mode.
|
|
local full_identified_list
|
|
full_identified_list="$(printf '%s\n' "${all_projects[@]+"${all_projects[@]}"}")"
|
|
|
|
# A single named/slot target narrows the candidate set to exactly that one
|
|
# project (resolving a numeric slot to its recorded project first).
|
|
if [ -n "$target" ]; then
|
|
local resolved="$target"
|
|
if [[ "$target" =~ ^[0-9]+$ ]]; then
|
|
resolved="$(cat "$ISOLATE_SLOT_DIR/$target/project" 2>/dev/null || true)"
|
|
[ -n "$resolved" ] || die "Slot $target has no recorded project to reap"
|
|
fi
|
|
_reap_name_safe "$resolved" \
|
|
|| die "Refusing to reap '$resolved' — it is the base 'showcase' stack, a BuildKit resource, or an invalid project name"
|
|
all_projects=("$resolved")
|
|
fi
|
|
|
|
# ── Classify every candidate ────────────────────────────────────────────────
|
|
# Parallel arrays (bash 3 compatible — no associative arrays).
|
|
local -a p_name=() p_class=() p_slot=() p_rundir=() p_containers=() p_volumes=() p_reap=()
|
|
# Live-owner projects we deliberately PRESERVE (no --include-live). Collected
|
|
# so a single loud warning naming them is emitted, regardless of selection.
|
|
local -a live_preserved=()
|
|
local proj slot class rundir ncont nvol reap runs_base
|
|
runs_base="$(_showcase_state_base)/runs"
|
|
for proj in "${all_projects[@]+"${all_projects[@]}"}"; do
|
|
slot="$(_reap_slot_for_project "$proj")"
|
|
ncont="$(_reap_container_count "$proj")"; ncont="${ncont:-0}"
|
|
nvol="$(_reap_volume_count "$proj")"; nvol="${nvol:-0}"
|
|
if [ -n "$slot" ]; then
|
|
class="$(_slot_liveness "$slot")"
|
|
elif [ -d "$runs_base/$proj" ] || [ "$ncont" -gt 0 ] || [ "$nvol" -gt 0 ]; then
|
|
# Record-less orphan: a leftover run dir and/or stray containers/volumes
|
|
# with no slot. There is no owner/TTL state to consult, so it is reapable
|
|
# as a plain orphan (reaped under --force; --all reaps it too).
|
|
class="orphaned-rundir"
|
|
else
|
|
class="inconclusive"
|
|
fi
|
|
rundir="-"; [ -d "$runs_base/$proj" ] && rundir="$runs_base/$proj"
|
|
|
|
# Reapability decision:
|
|
# --all → reap every identified project (TTL/keep ignored) EXCEPT a
|
|
# live-owner stack, which is PRESERVED unless --include-live.
|
|
# --force → reap stale + orphaned-rundir; PRESERVE live + kept (kept
|
|
# is reaped only once the kept-slot TTL flips it to stale, at
|
|
# which point _slot_liveness already returns 'stale' here).
|
|
# <target> → an explicit single target is reaped regardless of class
|
|
# (the user named it); base/buildkit already excluded above.
|
|
# BUT a `live` target — an actively-owned, in-use stack — is
|
|
# NOT torn down silently: it is PRESERVED with a loud warning
|
|
# unless the operator opts in with --include-live. This
|
|
# honors the subcommand's safety stance (PRESERVES any
|
|
# project with a live owner).
|
|
# A class 'inconclusive' project (no slot, no run dir, zero containers AND
|
|
# zero volumes) is NEVER reaped: teardown would remove nothing, so counting
|
|
# it would report a phantom "Reaped 1" — even for a named target that simply
|
|
# does not exist.
|
|
reap=false
|
|
if [ "$class" = "live" ] && ! $opt_include_live; then
|
|
# Actively-owned, in-use stack — never reaped without an explicit
|
|
# --include-live opt-in, no matter how it was selected (named target or
|
|
# --all). Record it so a single loud warning is emitted before teardown.
|
|
reap=false
|
|
live_preserved+=("$proj")
|
|
elif [ "$class" = "inconclusive" ]; then
|
|
reap=false
|
|
elif [ -n "$target" ]; then
|
|
reap=true
|
|
elif $opt_all; then
|
|
reap=true
|
|
else
|
|
case "$class" in
|
|
stale|orphaned-rundir) reap=true ;;
|
|
esac
|
|
fi
|
|
|
|
p_name+=("$proj"); p_class+=("$class"); p_slot+=("${slot:--}")
|
|
p_rundir+=("$rundir"); p_containers+=("$ncont"); p_volumes+=("$nvol"); p_reap+=("$reap")
|
|
done
|
|
|
|
# ── Live-owner preservation warning ──────────────────────────────────────────
|
|
# Any project classified `live` (an actively-owned, in-use stack) is PRESERVED
|
|
# — including one named as an explicit target or swept by --all — unless the
|
|
# operator passed --include-live. Emit a single loud warning naming each one so
|
|
# the operator knows why their target/sweep left it standing (the JSON branch
|
|
# already carries this as classification:"live" with reap:false).
|
|
if ! $opt_json && [ "${#live_preserved[@]}" -gt 0 ]; then
|
|
for proj in "${live_preserved[@]}"; do
|
|
warn "Preserving '$proj' — it has a live owner (actively in use). Pass --include-live to reap it anyway."
|
|
done
|
|
fi
|
|
|
|
# ── Output: plan (always) + teardown (only with --force) ─────────────────────
|
|
local i n_planned=0
|
|
if $opt_json; then
|
|
# One JSON object per identified project (mirrors `slots --json`, which
|
|
# emits all rows). `reap` marks whether the project is in the teardown plan.
|
|
for i in "${!p_name[@]}"; do
|
|
[ "${p_reap[$i]}" = "true" ] && n_planned=$((n_planned + 1))
|
|
jq -nc \
|
|
--arg project "${p_name[$i]}" \
|
|
--arg classification "${p_class[$i]}" \
|
|
--arg slot "${p_slot[$i]}" \
|
|
--arg rundir "${p_rundir[$i]}" \
|
|
--argjson containers "${p_containers[$i]}" \
|
|
--argjson volumes "${p_volumes[$i]}" \
|
|
--argjson reap "${p_reap[$i]}" \
|
|
--argjson executed "$($opt_force && echo true || echo false)" \
|
|
'{project: $project, classification: $classification, slot: $slot, rundir: $rundir, containers: $containers, volumes: $volumes, reap: $reap, executed: $executed}'
|
|
done
|
|
else
|
|
if [ "${#p_name[@]}" -eq 0 ]; then
|
|
info "No harness-owned isolated projects found — nothing to reap."
|
|
else
|
|
$opt_force || info "DRY-RUN (no --force): printing plan only; nothing will be torn down."
|
|
printf '%-28s %-15s %-5s %-5s %-5s %s\n' \
|
|
"PROJECT" "CLASS" "SLOT" "CONT" "VOLS" "ACTION"
|
|
for i in "${!p_name[@]}"; do
|
|
local action="preserve"
|
|
if [ "${p_reap[$i]}" = "true" ]; then
|
|
action="$($opt_force && echo reap || echo "reap (planned)")"
|
|
n_planned=$((n_planned + 1))
|
|
fi
|
|
printf '%-28s %-15s %-5s %-5s %-5s %s\n' \
|
|
"${p_name[$i]}" "${p_class[$i]}" "${p_slot[$i]}" \
|
|
"${p_containers[$i]}" "${p_volumes[$i]}" "$action"
|
|
done
|
|
fi
|
|
fi
|
|
|
|
# ── Unidentified review listing (dry-run plan + --all) ───────────────────────
|
|
# Always SHOWN, never torn down — base showcase / buildkit already excluded.
|
|
if ! $opt_json; then
|
|
# Exclude the FULL harness-owned union (computed before target narrowing) —
|
|
# not just the in-plan rows — so a single-target reap never mislabels its
|
|
# harness-owned siblings as "NOT harness-owned". Also exclude the explicit
|
|
# target itself (it may be a safe-but-unidentified name the user named) so
|
|
# it never appears in the review listing while it is being reaped.
|
|
local identified_list="$full_identified_list"
|
|
[ -n "$target" ] && identified_list="$(printf '%s\n%s\n' "$full_identified_list" "${all_projects[0]:-}")"
|
|
local -a unidentified=()
|
|
while IFS= read -r proj; do
|
|
[ -n "$proj" ] && unidentified+=("$proj")
|
|
done < <(_reap_unidentified "$identified_list")
|
|
if [ "${#unidentified[@]}" -gt 0 ]; then
|
|
echo ""
|
|
warn "Unidentified compose projects (NOT harness-owned — review manually, never auto-reaped):"
|
|
for proj in "${unidentified[@]}"; do
|
|
printf ' %s\n' "$proj"
|
|
done
|
|
fi
|
|
fi
|
|
|
|
# ── Teardown ─────────────────────────────────────────────────────────────────
|
|
if ! $opt_force; then
|
|
$opt_json || info "Summary: $n_planned project(s) would be reaped (run with --force to execute)."
|
|
return 0
|
|
fi
|
|
|
|
local n_reaped=0
|
|
for i in "${!p_name[@]}"; do
|
|
[ "${p_reap[$i]}" = "true" ] || continue
|
|
_reap_teardown_project "${p_name[$i]}"
|
|
n_reaped=$((n_reaped + 1))
|
|
done
|
|
if ! $opt_json; then
|
|
if [ "$n_reaped" -eq 0 ]; then
|
|
# Nothing was in the teardown plan — e.g. an explicit target that no
|
|
# longer exists (class 'inconclusive'). Report nothing-to-reap rather
|
|
# than a misleading "Reaped 0" success.
|
|
info "Nothing to reap — no project had containers, volumes, slot, or run dir to tear down."
|
|
else
|
|
success "Reaped $n_reaped project(s)."
|
|
fi
|
|
fi
|
|
return 0
|
|
}
|