Récupérer date depuis le nom d'un fichier

Bonjour

j'ai des fichiers qui contienent dans leurs noms des date comme par exemple:
file1_20090417.dat , j'aimerai avec une commande bash récupérer la date dans un format standard pour l'insérer dans une base de données. cette date n'est pas fixe et change d'un fichier à l'autre

comment je fais? et Merci

Code:

---

ls /ton/chemin | sed -n '/.*_[0-9]\{8\}.dat/s/.*_\([^.]*\).*/\1/p'

---

...
?

Même traitement avec awk:

Code:

---

ls /ton/chemin | awk --posix '$0 ~ /^.*_[[:digit:]]{8}\.dat$/ {split($0, a, /[_.]/); print a[2]}'

---

Merci les gars, c 'est ce que je voulais:yaisse2: