Essas são apenas duas das muitas formas de se manipular strings em Bash. No caso, ambas servem para remover um trecho do final de uma string.
A diferença é que %
remove o menor trecho possível, enquanto %%
remove o maior trecho possível. Por exemplo, se eu tiver:
texto='abcdefbxyz'
E fizer:
echo ${texto%b*z}
Ele vai remover o menor trecho do final da string que corresponde a b*z
(a letra b
, zero ou mais caracteres e a letra z
). O menor trecho que satisfaz essa condição é bxyz
, por isso resultado deste echo
é abcdef
.
Agora se eu fizer:
echo ${texto%%b*z}
Ele vai remover o maior trecho do final da string que corresponde a b*z
(a letra b
, zero ou mais caracteres e a letra z
). O maior trecho que satisfaz essa condição é bcdefbxyz
, por isso resultado deste echo
é a
.
No seu caso, a string é "Este texto para teste."
. Ao fazer echo ${x% *}
, ele remove o menor trecho do final da string que corresponde a um espaço seguido de zero ou mais caracteres. O trecho que satisfaz esta condição é teste.
, por isso o resultado é Este texto para
.
E o fazer echo ${x%% *}
, ele remove o maior trecho do final da string que corresponde a um espaço seguido de zero ou mais caracteres. O trecho que satisfaz esta condição é texto para teste.
, por isso o resultado é Este
.
É um recurso bem útil (para qualquer situação que envolva remover um trecho final de uma string), muito longe de ser algo "somente para exercícios".
Na documentação tem alguns exemplos.