Mit procmail verfügt das System über ein mächtiges Werkzeug zur Filterung von eingehenden Mails. Insbesondere derjenige, der in einigen Mailinglisten eingetragen ist, wird sich schnell ein Werkzeug wünschen, mit dem er ``Listen-Mails'' von privaten trennen kann, da man sonst schnell den Überblick verliert.
procmail wird über seine eigene Steuerungsdatei (.procmailrc) konfiguriert, die jeder User in seinem Home-Verzeichnis ablegen kann. Als kleines Beispiel sei hier nur folgendes wiedergegeben:
PATH=/bin:/usr/bin:/usr/local/bin MAILDIR=$HOME/Mail FORMAIL=/usr/bin/formail # VERBOSE=on # Directory for storing procmail log and rc files PMDIR=$HOME/.procmail LOGFILE=$PMDIR/log # Mails von POSTMASTER :0: * ^FROM_MAILER postmaster # Filtervorschlag für die Debian-Mailingliste, die von jfl.de # betrieben wird :0: * ^X-Mailing-List:.*debian-user-de.* debian ############################################################ # Ende
Nach der Definition einiger nützlicher Variablen werden die Filtereinträge (``Rezepte'') eingegeben. Diese habe im allgemeinen folgende Form:
:0 (``:'' oder ``Lockfile'' oder weitere Parameter) Null oder mehrere Filterbedingungen ``Action''-Zeile.
Ein Rezept wird immer mit einem Doppelpunkt begonnen. Als Filterbedingung kann man einen beliebigen regulären Ausdruck verwenden, z.B. ``X-Mailinglist:.*debian-user-de.*. Eine Filterbedingung beginnt immer mit einem Stern ``*''. Als Action-Zeile folgt nun entweder eine Mailbox, oder eine Pipe, die die jeweilige Mail durch ein externes Programm jagt, oder einfach nur /dev/null ;-).
Warnung: Ein falsch konfiguriertes procmail kann ganz schnell mal ein paar eingehende Mails ungewollt in die ewigen Jagdgründe schicken. Es sollten vor dem Einsatz dringendst die Manual-Seiten procmail, procmailrc und procmailex gelesen werden. Außerdem sei darauf hingewiesen, daß man mit procmail sehr leicht Bounces und Loops (also unzustellbare Mails, Endlosschleifen,...) verursachen kann, die einige Systemadministratoren viel Nerven kosten können! Also Vorsicht, vor allem mit Autoreplies und ähnlichen Spielereien.