Answer:
pgp --encrypt "my-message.txt" --recipient (Sean) --output ("secret-message.txt.gpg")
Explanation:
PGP encryption from the command line can be done using the following format:
Therefore, PGP command line syntax to encrypt the my-message.txt file for a specific user (Sean) and save the output as secret-message.txt.gpg is: