Как называются операции со строкой в переменной на подобие «${var//./}» и где найти больше информации о подобных возможностях?

Question

[Андрей Мывреник]

В написании скриптов я не редко использую подобные вещи, которые когда-то увидел в чужих скриптах и знаю о них не более того, что подобное работает.
Допустим у нас есть переменная:
foo='1.2.3.4.5'
С её содержимым можно производить подобные манипуляции:

echo ${foo/./}    # 12.3.4.5
echo ${foo//./}   # 12345
echo ${foo%.*}    # 1.2.3.4
echo ${foo%%.*}   # 1
echo ${foo#*.}    # 2.3.4.5
echo ${foo##*.}   # 5

Как это конкретно называется и где можно узнать больше о подобных операциях?
explainshell.com игнорирует и не объясняет это.

Answer 1

[Konkase]

Первоисточник: - Advanced Bash-Scripting Guide (Chapter 10. Manipulating Variables)

Answer 2

[Вячеслав]

man bash, в нём раздел EXPANSION, подраздел Paramater Expansion

Answer 3

[Валентин]

Операции со строками это называется, а вот здесь есть несколько примеров.

Comments

[Андрей Мывреник]

Хотелось бы какой-нибудь первоисточник глянуть. Но спасибо за ссылку, полезно.