|
Publicité ' | |||||||||||||||||||||||
|
|
#1 |
|
Candidat au titre de Membre du Club
![]() Inscription : septembre 2006 Messages : 34 ![]() |
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 |
|
|
00
|
|
|
#2 |
|
Nouveau Membre du Club
![]() Inscription : juillet 2006 Messages : 30 ![]() |
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 << |
|
00
|
|
|
#3 |
|
Candidat au titre de Membre du Club
![]() Inscription : septembre 2006 Messages : 34 ![]() |
salut,
merci beaucoup, ça marche. te rappelles-tu de la page où tu obtenu ce renseignment? |
|
|
00
|
|
|
#4 |
|
Nouveau Membre du Club
![]() Inscription : juillet 2006 Messages : 30 ![]() |
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 |
|
00
|
|
|
#5 |
|
Membre chevronné
![]() Inscription : septembre 2007 Messages : 685 ![]() |
Une autre source: man bash, puis /##
|
|
|
00
|
Copyright © 2000-2012 - www.developpez.com