grep 3 only search files with a specific extension with grep Sep 3, 2025 printing out all the lines that start with a certain sequence with grep Aug 28, 2025 some useful grep commands Aug 15, 2025