diff options
author | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-01 13:25:41 +0100 |
---|---|---|
committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-01 13:25:41 +0100 |
commit | cb5c560688b30c12186ff54eb4df5083af036a77 (patch) | |
tree | f143bb8481d0c337afa201e8116ce77dbc7c92e0 /doc_src/history.txt | |
parent | 8ac0fdfea726ff5e4fa8793d5461c6e097e62574 (diff) |
Simplify styling
Diffstat (limited to 'doc_src/history.txt')
-rw-r--r-- | doc_src/history.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc_src/history.txt b/doc_src/history.txt index 322831ef..89d2d6c6 100644 --- a/doc_src/history.txt +++ b/doc_src/history.txt @@ -1,7 +1,7 @@ \section history history - Show and manipulate command history \subsection history-synopsis Synopsis -\fish{syn} +\fish{synopsis} history [--save|--clear|--merge] history [--search|--delete] [--prefix "prefix string"|--contains "search string"] \endfish @@ -13,7 +13,7 @@ history [--search|--delete] [--prefix "prefix string"|--contains "search string" The following options are available: - `--save` saves all changes in the history file. The shell automatically saves the history file; this option is provided for internal use. - `--clear` clears the history file. A prompt is displayed before the history is erased. -- `--merge` immediately incorporates history changes from other sessions. Ordinarily fish ignores history changes from sessions started after the current one. This command applies those changes immediately. +- `--merge` immediately incorporates history changes from other sessions. Ordinarily `fish` ignores history changes from sessions started after the current one. This command applies those changes immediately. - `--search` returns history items in keeping with the `--prefix` or `--contains` options. - `--delete` deletes history items. - `--prefix` searches or deletes items in the history that begin with the specified text string. |