IGNORE.
It's not the redirection that's taking the longer time.
It's the opening of an actual file (/dev/null).
There'd be no extra time in:  time { a=2 && b=5 >&1;}


  • (Not a bug) Red... pourko2--- via Bug reports for the GNU Bourne Again SHell
    • (Not a bug)... pourko2--- via Bug reports for the GNU Bourne Again SHell

Reply via email to