Ubuntu 環境での話。Debian も同様のはずだけど、その他の Linux では違うかもしれない。 困った事 シェル組み込み time*1と /usr/bin/time があって、time とだけ入力するとコマンドライン*2は前者、シェルスクリプト*3だと後者が呼ばれて、その表示内容が…