Am Sonntag, 24. Dezember 2006 16:34 schrieb Ulf Volmer: > Du willst vermutlich cat > /dev/null, um den Inhalt der Pipe zu > entsorgen. Na klar. Sorry, Schreibfehler. Frohe Weihnachten an alle Sven