Something went wrong. Try again.
Jerb is a background job library for Rust. It runs async functions on Tokio workers, stores jobs in a database or Redis, and handles retries
Something went wrong. Try again.
123456789101112#!/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
id="$1"dir="$(scripts/util/workspace "$id")"
jj workspace forget "ws${id}"rm -rf "$dir"