script コマンド

scriptコマンドという便利なものがあるらしい。


script

...
...
...

exit

でtypescriptというファイルにターミナルの出力のログがとれる。

script outfile

とかやるとfile名が渡される。
コマンドも与えてやるとバッチで動いて勝手に終わる。

こんな感じ。

script file echo aiu


less file

>Script started on Tue Apr 14 15:58:35 2015
>aiu
>

>Script done on Tue Apr 14 15:58:35 2015


あとこちらが勉強になった。
私もこれからset -euo pipefailを使おう。

コメント

このブログの人気の投稿

再現性なんてないさ(?)

旧姓を失った研究者が海外でも活躍するためには

WLSのssh