cm0002@lemmy.world to Programmer Humor@programming.dev · 26 days agoLinux Userslemmy.mlimagemessage-square93fedilinkarrow-up1967arrow-down125
arrow-up1942arrow-down1imageLinux Userslemmy.mlcm0002@lemmy.world to Programmer Humor@programming.dev · 26 days agomessage-square93fedilink
minus-squareezekielmudd@reddthat.comlinkfedilinkarrow-up8·26 days agoOr, just type the command “history”, find the index number of the desired command, then type “! <index number>”, then <enter>.
minus-squareEager Eagle@lemmy.worldlinkfedilinkEnglisharrow-up7·26 days agoor Ctrl+R then search? I don’t know why people bother with history tbh.
minus-squaremerc@sh.itjust.workslinkfedilinkarrow-up2·26 days agoBecause you can pipe history to grep.
minus-squaresnowe@programming.devlinkfedilinkarrow-up2·26 days agowith fzf you get better grep with fuzzy search
minus-squareirish_link@lemmy.worldlinkfedilinkarrow-up2·26 days agoHoly cow!! I didn’t know that. I have been using history > history.txt to find “that one command for that one thing” I only need once every other month or so. Thanks, now I can just do that.
Or, just type the command “history”, find the index number of the desired command, then type “! <index number>”, then <enter>.
or Ctrl+R then search? I don’t know why people bother with
history
tbh.Because you can pipe history to grep.
with fzf you get better grep with fuzzy search
Holy cow!! I didn’t know that. I have been using history > history.txt to find “that one command for that one thing” I only need once every other month or so. Thanks, now I can just do that.