mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
1.7 KiB
1.7 KiB
First we make two changes to the codebase, so that there's more than one line
for the reflog
command to display:
x = 1
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
x : Nat
.> add
⍟ I've added these definitions:
x : Nat
y = 2
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
y : Nat
.> add
⍟ I've added these definitions:
y : Nat
.> view y
y : Nat
y = 2
.> reflog
Here is a log of the root namespace hashes, starting with the
most recent, along with the command that got us there. Try:
`fork 2 .old`
`fork #7j88dp8j0a .old` to make an old namespace
accessible again,
`reset-root #7j88dp8j0a` to reset the root namespace and
its history to that of the
specified namespace.
When Root Hash Action
1. now #2r02hj75nc add
2. now #7j88dp8j0a add
3. now #k3307b2im4 builtins.merge
4. #sg60bvjo91 history starts here
Tip: Use `diff.namespace 1 7` to compare namespaces between
two points in history.
If we reset-root
to its previous value, y
disappears.
.> reset-root 2
Done.
.> view y
⚠️
The following names were not found in the codebase. Check your spelling.
y