Я использую следующий синтаксис, чтобы захватить только число от имени хоста машины
echo machineLinux05 | sed s'/\./ /g' | awk '{print $1}' | sed 's/[^0-9]//g'
05
Но этот способ не так элегантен. Есть ли другая короткая альтернатива для захвата числа из строки?