From 3.14@logic.univie.ac.at Sat Nov 17 13:34:15 2001
Return-Path: <3.14@logic.univie.ac.at>
Delivered-To: guckes@math.fu-berlin.de
Received: (qmail 2514 invoked by uid 10077); 17 Nov 2001 14:34:14 +0100
Delivered-To: Guckes-mutt@math.fu-berlin.de
Received: (qmail 2512 invoked from network); 17 Nov 2001 14:34:14 +0100
Received: from server.logic.univie.ac.at (131.130.190.41)
  by leibniz.math.fu-berlin.de with SMTP; 17 Nov 2001 14:34:14 +0100
Received: from pi.logic.univie.ac.at
	([131.130.190.46] helo=logic.univie.ac.at ident=3.14)
	by server.logic.univie.ac.at with esmtp (Exim 3.22 #1 )
	id 1655bn-0007fb-00; Sat, 17 Nov 2001 14:34:11 +0100
Message-ID: <3BF66749.3030508@logic.univie.ac.at>
Date: Sat, 17 Nov 2001 14:34:01 +0100
From: Boris 'pi' Piwinger <3.14@logic.univie.ac.at>
Organization: Institute for Logic, University of Vienna
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.5) Gecko/20011012
X-Accept-Language: de, de-AT, de-DE, en
MIME-Version: 1.0
To: Robert Waldner <waldner@waldner.priv.at>,
	Joerg Dorchain <joerg@dorchain.net>,
	Boris 'pi' Piwinger <3.14@piology.org>,
	Andreas Metzler <ametzler@downhill.at.eu.org>,
	Guckes-mutt@math.fu-berlin.de,
	Thomas Roessler <roessler@does-not-exist.org>, eryq@zeegee.com
Subject: PGP-Signatur pruefen, die Loesung
References: <200111152138.fAFLchFu014219@WatchZwerg.waldner.priv.at>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Status: RO
X-Status: A
Content-Length: 213
Lines: 11

# Check PGP-Signatures
:0
* ^Content-Type:.*multipart/signed
{
  FOO=`pgp6 -f 2>&1 >/dev/null|grep -i signature|\
       sed 's/File is signed\.  //;N;s/\n/ /'`
  :0fw
  | formail -i"X-pi-PGP-checked: $FOO"
}

pi