How to delete all e-mails from a specific address using sieve-language?

Question

Filters / sieve filters. Make a filter to check recipient = your custom domain, choose action delete. Run on existing mails. Delete trash by using „Delete all“.

I tried doing that using the discard; from my knowledge but this did not work:

require "extlists";

if address :is "from" "[email protected]"

{
 discard; 
}

Answer 1

how about this ?

require ["fileinto","discard"];
if address :is "from" "[email protected]" {
  discard;
  stop;
}

Answer 2

If you have multiple sieve filters running in sequence make sure that the filter which may discard a message runs first. It seems if some action was applied on the mail (like applying a label) the discard command does not take effect afterwards.