Reading a list of files from a file

Finally, any command-line argument starting with @ reads additionalcommand-line arguments from the file following the @ character.This is primarily useful if you have a file containing a list of filesthat you want to be type-checked: instead of using shell syntax like:

$ mypy $(cat file_of_files.txt)

you can use this instead:

$ mypy @file_of_files.txt

This file can technically also contain any command line flag, notjust file paths. However, if you want to configure many differentflags, the recommended approach is to use aconfiguration file instead.