Skip to content
Commit edfdad17 authored by Jonathan Maw's avatar Jonathan Maw
Browse files

Make element optional for workspace close and reset

closing workspaces is going to need special treatment when multiple
projects open the same workspace.

Also, it is currently a nuisance when you reset the workspace you're
currently in, because that deletes the directory you're in, requiring
you to `cd $CWD`. I do not know a good solution to this, given workspace
commands can be called from anywhere inside the workspace, so it's not
simply a matter of not deleting the workspace dir.
parent 80dd2901
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment