docs:tips_n_tricks:bash.html
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
docs:tips_n_tricks:bash.html [09.03.2024 01:51 CET] – [Dont keep edits in history (as zsh does)] peter | docs:tips_n_tricks:bash.html [07.04.2024 15:23 CEST] (current) – [Undo edits in history] peter | ||
---|---|---|---|
Line 8: | Line 8: | ||
* [[https:// | * [[https:// | ||
* [[https:// | * [[https:// | ||
+ | * [[https:// | ||
- | ===== Undo edits in history | + | ===== History operations ===== |
- | + | ==== Save history without exiting bash ==== | |
- | " | + | history -A |
+ | ==== Show history with full timestamps ==== | ||
+ | HISTTIMEFORMAT=' | ||
+ | ==== Undo edits in history ==== | ||
+ | |||
+ | |M-r (or ESC,r) |Restore last version| | ||
+ | |//erase line and press ENTER// | ||
+ | |C-x,C-u |Undo last key| | ||
+ | |C-_ |:::| | ||
+ | |C-/ |:::| | ||
__References__: | __References__: | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
* A comment to [[https:// | * A comment to [[https:// | ||
+ | ===== Bash Prompt ===== | ||
+ | |||
+ | * http:// |
docs/tips_n_tricks/bash.html.1709945501.txt.gz · Last modified: 09.03.2024 01:51 CET by peter