[unix-ws] RE: Shell Problem

[Martin Behland]

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