• 4 Posts
  • 486 Comments
Joined 2 years ago
cake
Cake day: July 7th, 2023

help-circle
















  • Things I already have:

    • rebind ctrl-r and up (configurable) to a full screen history search UI
    • old history file is not replaced

    Things I could find useful once in a while:

    • switch filter modes via ctrl-r; search history just from the current session, directory, or globally

    Things I don’t care about and probably wouldn’t use:

    • back up and sync encrypted shell history
    • log exit code, cwd, hostname, session, command duration, etc
    • calculate statistics such as “most used command”
    • quick-jump to previous items with Alt-<num>
    • enter to execute a command, tab to edit

    I really don’t want:

    • the same history across terminals, across sessions, and across machines

    Not really a feature:

    • store shell history in a sqlite database