mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2024-12-25 05:29:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

docs: use simpler jj undo alias instead of jj op undo

Browse source
This commit is contained in:
Martin von Zweigbergk 2021-11-20 10:30:21 -08:00
parent 046b3c0541
commit 813ae0276d
2 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/git-comparison.md
View file

@ -203,7 +203,9 @@ parent.
</tr>
<tr>
<td>Undo an earlier operation</td>
<td><code>jj op undo -o &lt;operation ID&gt;</code></td>
<td><code>jj [op] undo -o &lt;operation ID&gt;</code>
(<code>jj undo</code> is an alias for <code>jj op undo</code>)
</td>
<td>Not supported</td>
</tr>
</tbody>

6
docs/tutorial.md
View file

@ -317,10 +317,10 @@ o 401652a2f61e martinvonz@<hostname> 2021-05-26 12:44:51.872 -07:00 - 2021-05-26
[many more lines]
```
The most useful command is `jj op undo`, which will undo an operation. By
default, it will undo the most recent operation. Let's try it:
The most useful command is `jj undo` (alias for `jj op undo`), which will undo
an operation. By default, it will undo the most recent operation. Let's try it:
```shell script
$ jj op undo
$ jj undo
Working copy now at: 41f0d2289b56
$ jj l
@ 41f0d2289b56 b1e3a4afde5e martinvonz@google.com 2021-05-26 12:52:39.000 -07:00