workspace.sh

# --- Workspace Management Commands ---

# ws: Manage Workspaces
ws() {
  make -C "$HOME/Workspaces/$1" $2
}

# wg: Go to Workspace
wg() {
  cd "$HOME/Workspaces/$1" || return
}

# wsh: Shell into the Workspace
wsh() {
  docker exec -it "$1" bash
}

# wr: Run the Workspace
wr() {
  (wg $1 && docker-compose up -d)
}

# wk: Kill the Workspace
wk() {
  (wg $1 && docker-compose down)
}