Hallo, Joerg! <Montag, der 13. Januar 2003> |> und ist /bin/sh auch die bash? ls -l `which sh` -- regards, gr. Wie man sein Kind nicht nennen sollte: Ted Tanus