Précédent   Forum des professionnels en informatique > Systèmes > Linux > Applications > Shell
Shell Vos questions sur l'utilisation des commandes shell
Partagez cette discussion sur d'autres réseaux sociaux : Viadeo Twitter Google Facebook Digg Delicious MySpace Yahoo
Réponse Proposer ce sujet en actualité
 
Outils de la discussion
Publicité
'
Vieux 27/09/2008, 00h07   #1
Candidat au titre de Membre du Club
 
Inscription : septembre 2006
Messages : 34
Détails du profil
Informations forums :
Inscription : septembre 2006
Messages : 34
Points : 12
Points : 12
Par défaut supprimer le début d'une chaine dans une variable

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
matser est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 27/09/2008, 01h12   #2
Nouveau Membre du Club
 
Inscription : juillet 2006
Messages : 30
Détails du profil
Informations personnelles :
Âge : 24

Informations forums :
Inscription : juillet 2006
Messages : 30
Points : 29
Points : 29
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 <<
mikado_O est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 27/09/2008, 01h34   #3
Candidat au titre de Membre du Club
 
Inscription : septembre 2006
Messages : 34
Détails du profil
Informations forums :
Inscription : septembre 2006
Messages : 34
Points : 12
Points : 12
salut,
merci beaucoup, ça marche.
te rappelles-tu de la page où tu obtenu ce renseignment?
matser est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 27/09/2008, 15h39   #4
Nouveau Membre du Club
 
Inscription : juillet 2006
Messages : 30
Détails du profil
Informations personnelles :
Âge : 24

Informations forums :
Inscription : juillet 2006
Messages : 30
Points : 29
Points : 29
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
mikado_O est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 27/09/2008, 15h41   #5
Membre chevronné
 
Inscription : septembre 2007
Messages : 685
Détails du profil
Informations personnelles :
Âge : 48
Localisation : Suisse

Informations forums :
Inscription : septembre 2007
Messages : 685
Points : 723
Points : 723
Une autre source: man bash, puis /##
jmelyn est déconnecté   Envoyer un message privé Réponse avec citation 00
Réponse Proposer ce sujet en actualité
Outils de la discussion



Fuseau horaire GMT +2. Il est actuellement 06h28.


 
 
 
 
Partenaires

Hébergement Web