logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

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 09: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 09:59:10

bendia
Chadministrateur
Distrib. : openSUSE Tumbleweed, Buster
Noyau : Linux 5.9.1-2-default + Linux 4.19.0-12-amd64
(G)UI : Gnome + Console et un peu Fluxbox
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.

Hors ligne

#3 21-11-2015 10: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 10:09:45

bendia
Chadministrateur
Distrib. : openSUSE Tumbleweed, Buster
Noyau : Linux 5.9.1-2-default + Linux 4.19.0-12-amd64
(G)UI : Gnome + Console et un peu Fluxbox
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.

Hors ligne

#5 21-11-2015 10: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 11: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 11: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 12:24:39

Mugen
Membre
Distrib. : Debian Bookworm
Noyau : Linux 6.1.0-9-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 Mugen (21-11-2015 12:25:43)


mon ancien pseudo : bartaba

Hors ligne

#9 21-11-2015 12: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