2023-05-16 19:19:49 +03:00
|
|
|
# delete.project
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> project.create-empty foo
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2023-06-16 17:52:53 +03:00
|
|
|
🎉 I've created the project foo.
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2023-06-21 21:23:20 +03:00
|
|
|
🎨 Type `ui` to explore this project's code in your browser.
|
2023-06-28 19:19:33 +03:00
|
|
|
🔭 Discover libraries at https://share.unison-lang.org
|
2023-06-21 21:23:20 +03:00
|
|
|
📖 Use `help-topic projects` to learn more about projects.
|
|
|
|
|
|
|
|
Write your first Unison code with UCM:
|
|
|
|
|
|
|
|
1. Open scratch.u.
|
|
|
|
2. Write some Unison code and save the file.
|
|
|
|
3. In UCM, type `add` to save it to your new project.
|
|
|
|
|
|
|
|
🎉 🥳 Happy coding!
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> project.create-empty bar
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2023-06-16 17:52:53 +03:00
|
|
|
🎉 I've created the project bar.
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2023-06-21 21:23:20 +03:00
|
|
|
🎨 Type `ui` to explore this project's code in your browser.
|
2023-06-28 19:19:33 +03:00
|
|
|
🔭 Discover libraries at https://share.unison-lang.org
|
2023-06-21 21:23:20 +03:00
|
|
|
📖 Use `help-topic projects` to learn more about projects.
|
|
|
|
|
|
|
|
Write your first Unison code with UCM:
|
|
|
|
|
|
|
|
1. Open scratch.u.
|
|
|
|
2. Write some Unison code and save the file.
|
|
|
|
3. In UCM, type `add` to save it to your new project.
|
|
|
|
|
|
|
|
🎉 🥳 Happy coding!
|
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
-- I can delete the project I'm currently on
|
|
|
|
scratch/main> delete.project scratch
|
|
|
|
|
|
|
|
foo/main> projects
|
2023-05-16 19:19:49 +03:00
|
|
|
|
|
|
|
1. bar
|
|
|
|
2. foo
|
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
-- I can delete a different project
|
|
|
|
foo/main> delete.project bar
|
|
|
|
|
|
|
|
foo/main> projects
|
|
|
|
|
|
|
|
1. foo
|
|
|
|
|
|
|
|
-- I can delete the last project, a new scratch project will be created
|
2023-05-16 19:19:49 +03:00
|
|
|
foo/main> delete.project foo
|
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
project/main> projects
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
1. project
|
2024-06-12 01:22:09 +03:00
|
|
|
2. scratch
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
-- If the last project is scratch, a scratch2 project will be created.
|
|
|
|
scratch/main> delete.project project
|
2023-05-16 19:19:49 +03:00
|
|
|
|
2024-07-03 20:20:20 +03:00
|
|
|
scratch/main> delete.project scratch
|
|
|
|
|
|
|
|
project/main> projects
|
|
|
|
|
|
|
|
1. project
|
|
|
|
2. scratch2
|
2023-05-16 19:19:49 +03:00
|
|
|
|
|
|
|
```
|