Today I opened my university mailbox, after several months of not opening it. I found it is flooded with about 300 K messages from the cron daemon, notifying me of a certain unimportant warning in a certain cron job. I stopped that cron job immediately, but now I am stuck with a huge mailbox and cannot find the important messages (if any).
I would like to automatically delete all the messages sent by the cron daemon (but not the other messages). How can I do this?
If this helps: there is pine installed on that server, in addition to the standard Unix tools.