Oh thanks for this. I’ve been using history | grep $something for the longest time, but i always end up copy pasting the actual command cause i didn’t remember how to invoke the number, and copy pasting is so quick that you end up never looking up how to do it properly lol.