Ho appena visto "$$ {x} %% *" in un makefile, che significa "$ {x} %% *" in sh. Perché è scritto in questo modo?
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
Inoltre, come per cercare ${x%% *}
in Google?
Google "bash man page" – Barmar
Google "how to google bash expression" :) "Tutti i problemi CS possono essere risolti con un ulteriore livello di riferimento indiretto" –