From aab6d79c96c0dcd0ecb0c497bbb69074a524f8cd Mon Sep 17 00:00:00 2001 From: Mateusz Konieczny Date: Sat, 19 Mar 2016 21:09:30 +0100 Subject: [PATCH] shorten history -c explanation using suggestion by @waldyrious --- pages/common/history.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/common/history.md b/pages/common/history.md index bc4389912..8e7acaadc 100644 --- a/pages/common/history.md +++ b/pages/common/history.md @@ -10,6 +10,6 @@ `history -c` -- Overwrite history file with history of current `bash` shell (typically combined with `history -c` to completely erase history): +- Overwrite history file with history of current `bash` shell (often combined with `history -c` to purge history): `history -w`