Как изменить параметр shell bash в этом выражении?

Question

Я побежал в Баш скрипт сегодня, он имеет следующие ведущие линии:

$ cat -n deploy.sh 
1 #!/bin/bash 
2 
3 # Usage: ./deploy.sh [host] 
4 
5 host="${1:-ubuntu@example.com}" 
6 
7 # The host key might change when we instantiate a new VM, so 
8 # we remove (-R) the old host key from known_hosts 
9 ssh-keygen -R "${host#*@}" 2> /dev/null 
[...] 

Line 5 легко. Линия 9 достала меня. Я «верю», что это своего рода расширение параметров bash, но, читая man-страницу, я больше не уверен.

Цитируя Баш человека страницы:

${parameter#word} 
${parameter##word} 
      Remove matching prefix pattern. The word is expanded to produce 
      a pattern just as in pathname expansion. If the pattern matches 
      the beginning of the value of parameter, then the result of the 
      expansion is the expanded value of parameter with the shortest 
      matching pattern (the ``#'' case) or the longest matching pat‐ 
      tern (the ``##'' case) deleted. If parameter is @ or *, the 
      pattern removal operation is applied to each positional parame‐ 
      ter in turn, and the expansion is the resultant list. If param‐ 
      eter is an array variable subscripted with @ or *, the pattern 
      removal operation is applied to each member of the array in 
      turn, and the expansion is the resultant list. 

Допустим, я просто запустить сценарий как этот

./deploy.sh 

без какого-либо входного параметра, а затем по линии 5, хост будет установлен в убунту @ example.com. Затем доходит до строки 9, в игру вступает $ {host # * @}. # Запускает подстановку с использованием расширенного * @. Но к чему это распространяется? Это не слово, которое используется на странице руководства?

Любые советы/подсказки.

Zack

Answer 1

В этом скрипте «* @» на самом деле является шаблоном шара, а не специальным параметром любого типа.

$ host="${1:-ubuntu@example.com}"; echo "${host#*@}" 
example.com 

Что эта конструкция является удалить кратчайший соответствующий префикс от Glob, когда сравнивается с величиной хоста. Конечным результатом является доменное имя, потому что glob соответствует всем в строке до (и включает) знак at.

Answer 2

Он удаляет префикс, соответствующий шаблон * @ в хосте (так * @ расширяется до убунт @). Например, ubuntu@example.com становится example.com, то есть доменным именем.