• 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.