history man

Bux42 · Apr 18, 2018 · 882836b · 882836b
1 parent a5c5192
commit 882836b
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/man/history.txt b/src/man/history.txt
@@ -7,7 +7,7 @@ NAME
 
 
 SYNOPSIS
-       history [-n] [-C] | [-]NUMBER [LG] | [-A] -- print history
+       history [-n] [-C | -c] | [-]NUMBER [LG] | [-A] -- print history
 
 
 DESCRIPTION
@@ -18,7 +18,11 @@ DESCRIPTION
 OPTIONS
        -C
 
-       All commands of the history are erased.
+       All commands of the history are erased (on the file too).
+
+       -c
+
+       All commands of the history are erased but the file doesn't change.
 
        -n