Archive for 16th December 2009

重定向 Bash “time” 命令的输出

bash下time是一个很有用的命令,它可以为一段脚本或一个程序的执行计时,这通常在粗略比较程序执行效率的时候很方便。但是你会发现,time命令输出的时间文字不能被简单地重定向,例如重定向至一个文本文件,只能显示在屏幕上,这对于非交互计时很不方便。例如:

Continue reading ‘重定向 Bash “time” 命令的输出’ »