#!/usr/bin/env sh
#MISE description="Forget a workspace and delete its directory"
#USAGE arg "<id>" help="The number the workspace was created with"

set -e

case "$1" in
"" | *[!0-9]*)
  echo "id must be a number" >&2
  exit 1
  ;;
esac

id="$1"
dir="tmp/worktrees/ws${id}"

if [ -d .jj ]; then
  jj workspace forget "ws${id}"
  rm -rf "$dir"
else
  git worktree remove --force "$dir"
  git branch -D "ws${id}"
fi