Differences

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

--- bash:cheat_sheet [2021/01/26 11:50] – [Kill childs on exit] peter
+++ bash:cheat_sheet [2021/01/26 11:55] (current) – [String Operators] peter
@@ Line 256: / Line 256: @@
 </code>
+----
 ==== Adding Timestamps ====
@@ Line 264: / Line 266: @@
 HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S " # Log with timestamps
 </code>
+----
 ==== Easier History Navigation ====
-If you do not like Ctrl-R to nagivate the history you can define other keys as PgUp and PgDown in /etc/inputrc:
+If you do not like Ctrl-R to navigate the history you can define other keys as PgUp and PgDown in /etc/inputrc:
 <code bash>
@@ Line 273: / Line 277: @@
    "\e[6~": history-search-forward
 </code>
+----
 ==== History Hardening ====