プログラムが終了した直後にプログラムの実行時間を求める必要がありますが、このような気がしました。
start=`date +"%M"`
while [ `pgrep vlc` ];do
echo vlcopen > /dev/null
done
stop=`date +"%M"`
[ $stop -lt $start ]&&time=$[ 60-$start+$stop ]||time=$[ $stop-$start ]
echo $time > time.txt
作業は完了しますが、非常に非効率的で、多くのカップの使用が必要です。これをより効率的に実行するには？
ベストアンサー1
1つのオプションは、次を使用することです。time
注: Bash にはキーワードがあるため、timeそうする場合:
time some command
それが使われました。、 SHELL_GRAMMAR: バッシュ
time普通の男性からよく見られるのがtimeまさにこれだ。/usr/bin/time
$ type -t time
keyword
使用の主なポイントバッシュではない-v時間は（GNU）のような関数ですtime。