101 reputation
2
bio website
location Taipei City, Taiwan
age
visits member for 2 years, 7 months
seen Dec 19 at 7:30

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.