[unix-ws] RE: Shell Problem
Martin Behland
Martin.Behland at uni-koeln.de
Don Jan 13 16:36:06 CET 2000
Thomas Lange writes:
> Schade, dass die schnell keinen optimierer eingebaut hat, der diesnen
> Code ausfuehrt. Hiermit klappt es nun.
Hallo,
mit Process Substitution (ab bash2) geht das auch direkt:
#!/usr/gnu/bin/bash2
{
echo blabla
echo Hallo
export t=9
} > >( tee p.log )
echo t= $t
Natuerlich ist das im Prinzip dasselbe, aber das Benennen, Anlegen und
Loeschen der Named-Pipe nimmt Dir die Shell ab.
Gruesse,
Martin