Linux/Datei/Pipe: Unterschied zwischen den Versionen