Differences

This shows you the differences between two versions of the page.

--- docs:tips_n_tricks:bash.html [09.03.2024 02:07 CET] – [Undo edits in history] peter
+++ docs:tips_n_tricks:bash.html [30.03.2024 01:36 CET] – peter
@@ Line 10: / Line 10: @@
   * [[https://unix.stackexchange.com/a/131712|Unix Stackexcange - Is there any way to undo a bash history modification?]]
-===== Undo edits in history =====
+===== History operations =====
+==== Save history without exiting bash ====
+  history -A
+==== Show history with full timestamps ====
+  HISTTIMEFORMAT='%Y-%m-%d %H:%M:%S ' history
+==== Undo edits in history ====
 |M-r (or ESC,r) |Restore last version|