Ce site est optimisé pour être consulté depuis un navigateur moderne dans lequel JavaScript est activé.

Commande shell qui retourne l'extension d'un fichier

arieugon

Bonjour à tous.

Je ne sais plus si il existe une commande qui permet d'extraire l'extension d'un fichier. Par exemple pour fichier.txt je voudrais que ça me retourne txt. Et tant qu'à faire si une autre commande pouvait me retourner le nom fichier ce serait le top.
Mais de mémoire je ne pense pas que ça exite, alors je vais certainement m'écrire un petit bout de code bash qui va me le faire si ça n'existe pas.

Merci de vos réponses.

Linuxement ;O)

clahor

bjr je crois qu'il faut voir du coté de basename & de dirname qui pour l'un extrait le nom complet & pour l'autre l'extension

iuchiban

Si tu veux récupérer juste le nom du fichier, tu as basename.
Exemple :

$ dirname /un/long/chemin/vers/toto.txt
/un/long/chemin/vers
$ basename /un/long/chemin/vers/toto.txt
toto.txt

Pour avoir l'extension, le truc, c'est que les extensions n'ont aucun intérêt sous GNU/Linux.

Mais avec sed, tu peux avoir tout ce qui suit la dernière occurence de "."
Mais là, je suis pas assez calé pour te donner la commande

En cherchant un peu j'ai trouvé :

echo toto.doc.txt | sed 's/.*\.//g'

donc en gros tu peux faire un script dans lequel tu mets :

#!/bin/bash
echo $1 | sed 's/.*\.//g'

Il faut rendre le scipt exécutable :

chmod +x tonscript

puis tu fais un lien de ton script dans /usr/bin :

ln -s /chemin/de/ton/script /usr/bin/getextension

Puis tu peux ensuite faire :

getextension <Unfichier>

arieugon

Merci de vos réponses

dirname et basename je connais mais ce n'est pas ce dont j'ai besoin. En fait je vais faire un petit bout de code bash du genre:
#echo $1 | awk -F. '{print $2}'.
C'est pas très pure car si il y a plusieurs point dans le nom. Mais ça rentre dans un script qui va m'extraire le son de fichiers vidéos. Je veux pouvoir le faire en ligne de commande, comme ça je traite des lots entiers en une seule fois.

Les extensions n'ont aucun intéret, c'est vrai, mais lorsque que tu as un fichier avec l'extension .mp4 ou .flv par exemple, ça te donne une indication sur ce que c'est comme fichier. En fonction de ça j'opèrerai des traitements différents. Voilà mon problème.

AnsuzPeorth-out

Bjr,
avec sed pour recuperer l'extension (une possibilité parmis d'autres)

var="truc.machin.txt"

sed 's/^.*\(...$\)/\1/' <<< $var

ou en bash (une possibilité parmis d'autres)

echo ${var##*.}

et j'en passe 🙂

Ou sinon, tu peux voir avec la commande file, qui te donneras le type mime du fichier

iuchiban

tu peux faire avec awk mais prends $NF plutôt que $2, sinon avec des fichiers du genre film.du.cinema.mp4 ben il te donne "du" comme extension.

arieugon

Merci à vous deux.

Vous avez parfaitement répondu à ma question. la commande sed est puissante mais je n'arrive pas à m'y faire. Je veux dire que je n'arrive pas à l'utiliser moi-même. Mais là je vais utiliser ce que vous m'avez communiqué. C'est plus propre d'utiliser sed que le | awk.
Aller ! Je passe le post en Résolu. Merci encore.

Linuxement ;O)

AnsuzPeorth-out

Attention qd meme, la commande sed ne recupere que les 3 derniers caracteres.
Pour plus de securite, awk ou la substitution bash est plus sur.
Perso, je prefere la substitution, ensuite la commande awk qui est plus courte et plus comprehensible que sed.

nesthib

la commande suivante liste les fichiers du dossier en cours sur une ligne (-1) passe le résultat à sed qui récupère les lignes du style : [n'importe quoi = .*] [un point = .] [n'importe quoi sans point = .*] [la fin de ligne = $]
et récupère seulement la partie [n'importe quoi sans point] qui est entre les " ( " et " ) " ( partie /\1/ ) et l'affiche (p)

ls -1 | sed -n 's/.*\.\(.*$\)/\1/p'

si tu veux une extension avec seulement des chiffres et lettres [a-Z0-9] tu peux essayer

ls -1 | sed -n 's/.*\.\([a-Z0-9]*$\)/\1/p'

speculoos

Tu peux aussi créer un alias dans ton bashrc avec la commande que tu veux 🙂.