Something went wrong. Try again.
Something went wrong. Try again.
123456789101112131415161718192021222324#!/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