extraire les chiffres d'une chaine en bash

Bonjour,

je me rend fou pour extraire les chiffres d'une chaine de caractère en bash.
La chaine commence par "[Téléphone]" puis il y a du texte, puis des chiffres, puis du texte encore:

Code:

---

[Téléphone] bla bla bla 12.34.56 [Envoyer ces renseignements par mail...bla] bla bla

---

J'essaie d'extraire le numéro en plein milieu qui est composé de 3 séquence de 2 chiffres séparées par un .

Code:

---

1 2 3 4

if [[ "$line" =~ '^.*.Téléphone.*.([0-9]{2}\.){3}.*.$' ]] then echo "---> ${BASH_REMATCH[1]}" fi

---

et ça ne fonctionne pas. Pouvez-vous m'éclairer svp ?

Bonjour,

ta regex n'est pas correcte (tu t'en doutais, non ? ;))

Code:

---

1 2 3

$ var="[Téléphone] bla bla bla 12.34.56 [Envoyer ces renseignements par mail...bla] bla bla" $ [[ $var =~ ^\[Téléphone.*(([0-9]{2}\.){2}[0-9]{2}).*$ ]] && echo "${BASH_REMATCH[1]}" 12.34.56

---

deux chiffres et un point deux fois, et, deux chiffres une fois.

Yessss, merciiii