[linux] Output van time meenemen met tee (tip)

[Cecil Westerhof]

Ik heb een script dat nogal veel tijd neemt en ook nogal wat output
genereert. Vandaar dat ik iets als het volgende wilde doen:
    (time command) | tee output.log

Gekeken naar de man-page van time zou dat moeten werken, daar time
zijn output naar stdout zou moeten sturen. Echter dat werkt dus niet.
Het blijkt dat time de output naar stderr stuurt en je het volgende
moet doen:
    (time command) 2>&1 | tee output.log

De haakjes zijn nodig omdat anders alleen stderr van command naar
stdout wordt omgeleid, terwijl het juist gaat om de stderr van time.
;-}