pipe
131pipe down — {v.} 1. To call (sailors) away from work with a whistle. * /He piped the men down after boat drill./ 2. {slang} To stop talking; shut up; be quiet. * / Oh, pipe down, he called./ Often considered rude …
132Pipe-Zeichen — Pipe Zeichen, das Zeichen »|« (ANSI Code »0124«) für den Befehl Pipe bei Unix, der den Ausgabestrom einer Datei/Anweisung zum Eingangsstrom einer anderen Datei/Anweisung macht. Beispielsweise werden mit der Anweisungskette »ls l | grep »1999««… …