101 reputation
2
bio website
location Taipei City, Taiwan
age
visits member for 2 years, 5 months
seen Oct 17 at 3:19

Oct
24
awarded  Informed
Aug
14
awarded  Supporter
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.