From cf225aca7af5bcb97bd1912af913c2565230c886 Mon Sep 17 00:00:00 2001
From: Marco Bonelli <mb5.marcob@gmail.com>
Date: Tue, 8 Jan 2019 23:59:04 +0100
Subject: [PATCH] history: add one example.

---
 pages/common/history.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/history.md b/pages/common/history.md
index 8e7acaadc7..e98fa7c5bc 100644
--- a/pages/common/history.md
+++ b/pages/common/history.md
@@ -13,3 +13,7 @@
 - Overwrite history file with history of current `bash` shell (often combined with `history -c` to purge history):
 
 `history -w`
+
+- Delete the history entry at the specified offset:
+
+`history -d {{offset}}`