The manpage for the time command mentions a gnu version in /usr/bin/time, which has more options than the built-in shell version does.
確定! 回上一頁