Socretes
Fri Sep 08, 2017 8:50:14 pm
Hi
I read this and thought I'd share it.. searching terminal history (saving a bit of re-typing when needeed) ~ although I'm sure the Linux buffs out there will have their own ways of doing it!
https://www.howtogeek.com/323355/instantly-search-your-terminal-history-with-a-keyboard-shortcut/
Andrew
New Zealand
I read this and thought I'd share it.. searching terminal history (saving a bit of re-typing when needeed) ~ although I'm sure the Linux buffs out there will have their own ways of doing it!
https://www.howtogeek.com/323355/instantly-search-your-terminal-history-with-a-keyboard-shortcut/
Andrew
New Zealand