diff options
| author |  Siteshwar Vashisht <siteshwar@gmail.com> | 2012-06-12 14:17:25 +0530 |
|---|---|---|
| committer | Siteshwar Vashisht <siteshwar@gmail.com> | 2012-06-12 14:20:07 +0530 |
| commit | 25f9105a9776e2cf4a60c1d7c64b0f508e616246 (patch) | |
| tree | 09a6b17b0c10750e40de45081e3e43c12b36cafd /doc_src/history.txt | |
| parent | 602109bd8d8600258117fd2b3554e4fe7bd22402 (diff) | |
Made history --help show history man page and history is now saved only once while deleting items
Diffstat (limited to 'doc_src/history.txt')
| -rw-r--r-- | doc_src/history.txt | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/doc_src/history.txt b/doc_src/history.txt index 7b00bea6..8f7b6916 100644 --- a/doc_src/history.txt +++ b/doc_src/history.txt @@ -3,34 +3,34 @@ \subsection history-synopsis Synopsis <pre> history (--save | --clear) -history (--search | --delete ) (--prefix "prefix string" | --search "search string") +history (--search | --delete ) (--prefix "prefix string" | --contains "search string") </pre> \subsection history-description Description -history is used to list, search and delete user's command history. +history is used to list, search and delete user's command history \subsection history-examples Example <pre> history --save -Save all changes in history file. +Save all changes in history file history --clear -Delete all history items. +Delete all history items history --search --contains "foo" -Searches commands containing "foo" string. +Searches commands containing "foo" string history --search --prefix "foo" -Searches for commands with prefix "foo". +Searches for commands with prefix "foo" history --delete --contains "foo" -Interactively delete commands containing string "foo". +Interactively delete commands containing string "foo" history --delete --prefix "foo" -Interactively delete commands with prefix "foo". +Interactively delete commands with prefix "foo" history --delete "foo" -Delete command "foo" from history. +Delete command "foo" from history </pre> |