Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 21-11-2015 10:56:06

railroad
Membre
Lieu : Lille (France)
Distrib. : Debian Jessie
Noyau : 3.14-1-amd64
(G)UI : Gnome
Inscription : 25-06-2014
Site Web

Changer l'extention de plusieurs fichiers

Bonjour
Je cherche la commande qui me permette de changer uniquement l'extention de plusieurs fichiers dans un répertoire.
Une idée ?

Hors ligne

#2 21-11-2015 10:59:10

bendia
Admin stagiaire
Distrib. : Jessie
Noyau : 3.16.0-4-amd64
(G)UI : Gnome + XFCE + Console
Inscription : 20-03-2012
Site Web

Re : Changer l'extention de plusieurs fichiers

Salut smile

Tu dois pouvoir t'en sortir avec find et son option -exec

Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
file-Re06858991f6f328b4907296ac5cea283

Hors ligne

#3 21-11-2015 11:06:00

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Changer l'extention de plusieurs fichiers


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#4 21-11-2015 11:09:45

bendia
Admin stagiaire
Distrib. : Jessie
Noyau : 3.16.0-4-amd64
(G)UI : Gnome + XFCE + Console
Inscription : 20-03-2012
Site Web

Re : Changer l'extention de plusieurs fichiers

Pas idiot ça Paskal. J'y pense jamais à cette commande wink

la doc de rename, en français, sur le wiki DF big_smile

Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
file-Re06858991f6f328b4907296ac5cea283

Hors ligne

#5 21-11-2015 11:17:08

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Changer l'extention de plusieurs fichiers

J'ai pas réussi mes premiers essais : normal, moi et les regexp  roll  big_smile

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#6 21-11-2015 12:37:22

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Changer l'extention de plusieurs fichiers

Dans le dossier test :

ls

fichier0.ext1  fichier1.ext1


Puis :

rename 's/\.ext1/\.ext2/' *.ext1


Résultat :

ls

fichier0.ext2  fichier1.ext2


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#7 21-11-2015 12:46:31

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Changer l'extention de plusieurs fichiers

J'ai déplacé cette discussion.  wink

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#8 21-11-2015 13:24:39

bartaba
Membre
Distrib. : Debian Jessie
Noyau : Linux 3.16.0-4-amd64
(G)UI : Mate
Inscription : 04-02-2014

Re : Changer l'extention de plusieurs fichiers

bonjour
je ne connais pas de commande mais avec des outils graphiques comme gprename ou pyrenamer c'est possible

Dernière modification par bartaba (21-11-2015 13:25:43)

Hors ligne

#9 21-11-2015 13:30:32

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Changer l'extention de plusieurs fichiers

bartaba a écrit :

je ne connais pas de commande mais avec des outils graphiques comme gprename ou pyrenamer c'est possible

Voir le #4 de bendia
liens du tuto rename : gprename et pyrenamer  smile


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

Pied de page des forums