有没有玩过 dash 的？

d00m3d

近日我把 dash 代替 bash 用作 /bin/sh，原来真的有好处，系统反应快了，一些 shell scripts 由於一般都用 #!/bin/sh 开头，跑起来也快了。可惜只能凭感觉，不知可有哪些工具适合作 benchmarking 之用，好让我用数据说话？