• Multiplexer@discuss.tchncs.de
    link
    fedilink
    arrow-up
    52
    ·
    edit-2
    2 days ago

    Lets you easily and interactively search your command history.
    Half the stuff I do is usually preceded by that, it’s really useful!

    • Jack@slrpnk.net
      link
      fedilink
      arrow-up
      95
      ·
      2 days ago

      Oh that is nice, I usually use ↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑

      • ClownStatue@piefed.social
        link
        fedilink
        English
        arrow-up
        9
        ·
        2 days ago

        That’s part of the natural progression. Can’t remember if that comes before or after “history | grew command.”

    • ulterno@programming.dev
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      1
      ·
      2 days ago

      I have been suggested alternative programs to install to work with Ctrl+r, which are supposed to work better, but I just end up using kwrite ~/.bash_history when Ctrl+r fails.