https://digitalixy.com/tech/maude/496056/how-to-use-the-grep-command-on-linux/