mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 02:55:19 +03:00
75c228f4e1
The bulk of this updates transcripts to put spaces around the language name in code blocks. E.g., ```` markdown ```ucm:hide ```` becomes ```` markdown ``` ucm :hide ```` This corresponds to https://share.unison-lang.org/@unison/website/contributions/11, which updates the docs in the same way. This is effectively a fix for #5214, but that issue also has good recommendations for future changes to info strings, so I don’t know that it should be closed.
42 lines
658 B
Markdown
42 lines
658 B
Markdown
``` ucm :hide
|
|
scratch/main> builtins.merge lib.builtins
|
|
```
|
|
|
|
First we make some changes to the codebase so there's data in the reflog.
|
|
|
|
``` unison
|
|
x = 1
|
|
```
|
|
``` ucm
|
|
scratch/main> add
|
|
```
|
|
``` unison
|
|
y = 2
|
|
```
|
|
``` ucm
|
|
scratch/main> add
|
|
scratch/main> branch /other
|
|
scratch/other> alias.term y z
|
|
newproject/main> builtins.merge lib.builtins
|
|
newproject/main> alias.type lib.builtins.Nat MyNat
|
|
```
|
|
|
|
Should see reflog entries from the current branch
|
|
|
|
``` ucm
|
|
scratch/main> reflog
|
|
```
|
|
|
|
Should see reflog entries from the current project
|
|
|
|
``` ucm
|
|
scratch/main> project.reflog
|
|
```
|
|
|
|
|
|
Should see reflog entries from all projects
|
|
|
|
``` ucm
|
|
scratch/main> reflog.global
|
|
```
|