3 ms·

genius! bravo! you can also search with grep, I did not know! ``` history | grep ICON ```

• oriettaxx 2y ago
  especially for many, like me, who cannot change shell... since we are not working with our pc, but we are SSH connecting to plenty of different servers