unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/delete-project.md
Chris Penner 1dab376523 Fix behaviour of deleting last project or branch
2024-07-03 11:21:59 -07:00

584 B
Raw Permalink Blame History

delete.project

scratch/main> project.create-empty foo
scratch/main> project.create-empty bar
-- I can delete the project I'm currently on
scratch/main> delete.project scratch
foo/main> projects
-- I can delete a different project
foo/main> delete.project bar
foo/main> projects
-- I can delete the last project, a new scratch project will be created
foo/main> delete.project foo
project/main> projects
-- If the last project is scratch, a scratch2 project will be created.
scratch/main> delete.project project
scratch/main> delete.project scratch
project/main> projects