(2019/06/29追記) 実践的、網羅的かつ簡潔にまとまったドキュメントを見つけたのでメモ（日本語訳）*1。 github.com このtipsはこれからLinuxを使っていく必要がある人、特に端末操作に苦戦している人、もしくは端末操作に対して嫌悪感すら抱いている人に向…

例えばイベントの実行時間を記録したログファイルから、個々のイベントの平均実行時間を算出したいとする． 例えば以下のようなawkを使って統計を取ることができる． ログファイルは以下のような感じのものを想定． #event exec_time foo 10 hoge 8.431 fuga…