First, download the file. Then navigate to the destination of the file and in terminal type the following command.

grep 'picoCTF' file

The command grep ‘picoCTF’ just searches through the file and prints the string that contains picoCTF.