Challenge Description
Yep, as the challenge description suggests, we just need to pipe the contents of the downloaded file through grep with the search term “pico” or “picoCTF” to get the flag.
This can be done by running this, after we download the file using wget:
cat file | grep pico
Using the command above allows us to find the flag easily, rather than combing through the large chunk of text after we run cat <file-name>.
Flag
picoCTF{grep_is_good_to_find_things_f77e0797}