小编Gil*_*not的帖子

我试图了解以下 bash 脚本是如何运行的

trim_string() {
    # Usage: trim_string " example string "
    : "${1#"${1%%[![:space:]]*}"}"
    : "${_%"${_##*[![:space:]]}"}"
    printf '%s\n' "$_"
}

我认为 : 作为无操作运行，但据我所知。

提前致谢

为什么time ls | grep real输出这个

real    0m0.002s
user    0m0.000s
sys     0m0.002s

而不仅仅是

real    0m0.002s

如果我输入

echo -e 'real\t0m0.002s\nuser\t0m0.000s\nsys\t0m0.002s\n' | grep real

我得到了我的期望，即

real    0m0.002s

我发现这有效

(time ls)  2>&1 > /dev/null | grep real

这个命令有什么作用？