From ddc6ddf0f76d3fe2d703c8baf03bfb8b04214f33 Mon Sep 17 00:00:00 2001 From: Coelacanthus Date: Sat, 14 Nov 2020 10:19:32 +0800 Subject: [PATCH] fix(cmd.md): typo Co-authored-by: ksyx <18738953+ksyx@users.noreply.github.com> --- docs/tools/cmd.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tools/cmd.md b/docs/tools/cmd.md index 4ecd5293..71442034 100644 --- a/docs/tools/cmd.md +++ b/docs/tools/cmd.md @@ -159,7 +159,7 @@ command < input > output 一般在 Bash 中直接使用 `time` 调用的是 Bash 内建的版本，我们可以使用 `TIMEFORMAT` 环境变量控制其输出格式，例如将其设为 `%3lR` 即可输出三位精度的实际运行时间， `%3lU` 即可输出三位精度的用户空间运行时间。[^bash-time-format] -如果想要调用 GNU 版本的 time，则需使用 `\time` 或者 `/usr/bin/time` 调用，但是他的输出格式并不易读，我们可以附加 `-p` 参数（即为 `\time -p` ）来获得易读的输出。 +如果想要调用 GNU 版本的 time，则需使用 `\time` 或者 `/usr/bin/time` 调用，但是它的输出格式并不易读，我们可以附加 `-p` 参数（即为 `\time -p` ）来获得易读的输出。 ## 参考资料与注释 -- 2.11.0