関連ワード:  linux redirect output of time command    bash capture output of time command    what is output redirection in linux  
結果 : linux redirect output of time command