shell - “${x%% *}” 在 sh 中是什么意思？

Question

我刚刚在 makefile 中看到了“$${x%% *}”，这意味着 sh 中的“${x%% *}”。
为什么这样写？

https://unix.stackexchange.com/questions/28994/how-can-a-makefile-detect-whether-a-command-is-available-in-the-local-machine

determine_sum = \
        sum=; \
        for x in sha1sum sha1 shasum 'openssl dgst -sha1'; do \
          if type "$${x%% *}" >/dev/null 2>/dev/null; then sum=$$x; break; fi; \
        done; \
        if [ -z "$$sum" ]; then echo 1>&2 "Unable to find a SHA1 utility"; exit 2; fi

checksums.dat: FORCE
    $(determine_sum); \
    $$sum *.org

另外，如何搜索 ${x%% *}在谷歌？

Answer 1

${x%% *}替换 x 的值最左边的空格和它右边的所有内容都被删除的变量。

见 http://www.gnu.org/software/bash/manual/html_node/Shell-Parameter-Expansion.html

对于第二个问题，我没有答案。