Post #3437564
2026-06-27 23:39 UTC
⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️
Instead of history | grep whatever
Replies (1)
-
@lichtmetzger@discuss.tchncs.de 2026-06-28 00:50
You can just do CTRL+R
2026-06-27 23:39 UTC
You can just do CTRL+R