Discussion :

[emmesse]

bonjour,

je cherche comment récupérer l'extention d'un fichier, y compris le point, dans une variable.
quelqu'un sait-il? (je ne comprends rien à sed)

merci

[mikado_O]

Si t'utilise Bash tu peux faire :

$ File='mon_fichier.je_sais_pas_quoi'
$ echo ${File##*.}
je_sais_pas_quoi

## permet d'éliminer le plus grande chaîne correspondant au motif qui suit, ici *.

Trouver en 5 minutes avec Google :p

>> Google is your friend <<

[emmesse]

salut,
merci beaucoup, ça marche.
te rappelles-tu de la page où tu obtenu ce renseignment?

[mikado_O]

J'en est vue pas mal, je ne me souviens pas de la page exact. Fais une recherche Google : "récupérer l'extension d'un fichier en Bash".

Tu y trouveras sûrement ton bonheur

[jmelyn]

Une autre source: man bash, puis /##