Bonjour,
Je cherche a extraire un nombre contenu dans le nom d'un fichier.
Le nombre peut être au début ou au milieu du nom du fichier mais jamais a la fin.
J'ai essayé comme ça pour enlever la fin :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
file="argh12truc";echo "${file%%[0-9]*}"
argh
j'obtiens le début sans les chiffres que je voudrais conserver.
J'ai essayé de lui dire de me laisser les chiffres de cette manière sans résultat :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
file="argh12truc";echo "${file%%[^0-9]*}"
Là, plus rien ne s'affiche.
Soit ce n'est pas possible d'utiliser la négation (^) dans ce type de construction soit je ne sais pas faire.
Si quelqu'un a une idée ?

J'arrive tout de même a extraire le nombre de cette manière mais c'est plus lourd.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
file="argh12truc";fin="${file#${file%%[0-9]*}}";echo "${fin%${file##*[0-9]}}"
12
Cordialement.