Re: Bash: Pipe-Zeichen werden bei IO/Redirection und Pipen verschluckt

[Christoph Conrad <nospam@spamgourmet.com>]

Hi Heike,

> Das sieht mir mehr danach aus, als ob mysql da was am Feldtrenner
> ändert, wenn stdout kein Terminal ist (o.ä.).

Yep, das glaube ich inzwischen auch:

,----[ man mysql ]
| -B|--batch
|        Print results with a tab as separator, each row on a new line.
`----

Und da ist ein Tab, wo vorher eine Pipe war.

Herzliche Grüße,
  Christoph
-- 
"[...] denn es ist die Sprache, die den Strom der Zeit anhält. Es
existiert keine Statik, es gibt keine Endgültigkeit des Anfangs und des
Endes." Heinz von Foerster