101 reputation
2
bio website
location Taipei City, Taiwan
age
visits member for 1 year, 11 months
seen Apr 14 at 3:18

Aug
14
comment How do I get the exit code of a process that's piped to tee?
This is more portable (not specific to bash) - hence upvote.