这可能是一个新手的问题，但我不明白这是如何配置的以及为什么time在这两种情况下命令的输出格式不同：
如果使用 via time，输出是三行基本信息
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
然后我可以检查使用的是哪个二进制文件
$ which time
/usr/bin/time
并直接调用它以完全不同的格式获得输出，并提供更多信息
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
没有相关的别名 time
$ alias | grep time
$
我在跑Ubuntu 16.04。
考虑我有一个带有某种模式的命令，例如：
$ grep "some string" file-[0-99]
我如何将结果写入一个文件，该文件的名称将基于模式的当前值，以便
$ grep "some string" file-0 > processed-0
$ grep "some string" file-1 > processed-1
...
喜欢的东西$ grep "some string" file-[0-100] > processed-[0-100]，虽然这一个不工作。