Re: Changer l'extension d'un fichier

2008-07-28 Par sujet Frenchy Droppy
Le samedi 26 juillet 2008 à 18:43, Raphael F. a écrit : Bonjour Pierre, tu pourras trouver beaucoup d'infos avec la commande man en effet. Et si la commande est en anglais en local pour beaucoup de programmes (tu peux installer les paquets manpages-fr et manpages-fr-extra pour en avoir

Re : Changer l'extension d'un fichier

2008-07-27 Par sujet Immae
Quelle que soit la syntaxe utilisée, rien ne se passe et j'ai à chaque fois un message d'erreur. Quel est le message ? Je pense que la commande rename devrait facilement résoudre ce problème, mais quelque chose m'échappe, je n'y arrive pas. Je ne connais pas la commande rename, mais la

Re: Changer l'extension d'un fichier

2008-07-27 Par sujet marcel_pierre
Bonjour Pierre, Perso j'ai utilisé purrr et cela a été très facile. Voici un lien à creuser. http://forum.ubuntu-fr.org/viewtopic.php?id=91200 Bonne journéee mg Pierre a écrit : Bonjour à tous Je rame... Depuis hier j'essaye tout : vos conseils, les documentations diverses, les forums,

Re: Changer l'extension d'un fichier

2008-07-27 Par sujet Pierre
marcel_pierre a écrit : Bonjour Pierre, Perso j'ai utilisé purrr et cela a été très facile. Voici un lien à creuser. http://forum.ubuntu-fr.org/viewtopic.php?id=91200 Bonne journéee mg J'avais trouvé la commande purrr ainsi que GPRename. Je les ai installés tous les deux sur mon PC, mais

Re: Changer l'extension d'un fichier

2008-07-27 Par sujet Bruno Patri
Le Friday 25 July 2008 22:47:08 Pierre, vous avez écrit : Tout en posant mes questions, je continue à fouiner sur internet pour trouver des réponses. je viens de trouver un document de Armand Delcros , _*Les commandes fondamentales de Linux.*_* *J'ai de quoi boser. Bien entendu je reste

Re: Changer l'extension d'un fichier

2008-07-27 Par sujet Dimitri Zamoun
Bonjour Pierre, l'extension du fichier n'est pas du tout géré comme ce que tu as connu sous windows, si tu veux comprendre le fonctionnement cherche MIME dans le livre en ligne disponible sur htttp://www.framabook.org/ubuntu.html bonne journée ZooM -- ubuntu-fr mailing list

Re: Changer l'extension d'un fichier

2008-07-27 Par sujet Pierre
Bruno Patri a écrit : Bonjour, Quelqu'un t'a déjà donné la syntaxe de la commande rename il me semble : cd ton_dossier rename 's/\.asf/.wma/' *.asf (pas évident à manipuler car il s'agit de regexp perl...) J'ai essayé la commande que l'on m'avait donnée. Celle-ci: rename 's/asf/wma'

Re: Changer l'extension d'un fichier

2008-07-26 Par sujet Raphael F.
Le 25 juillet 2008 21:39, Pierre[EMAIL PROTECTED] a écrit : Bonjour à tous PS : Quelqu'un a dit de moi, récemment, que je posais beaucoup de question. Yes ! J'adore ça. Je suis un insatiable curieux. Mais ce que j'aime encore plus, c'est trouver la réponse à mes questions. Je déteste sécher

Re : Changer l'extension d'un fichier

2008-07-25 Par sujet Immae
J'aimerais modifier d'un seul coup, l'extension d'un ensemble de fichiers, dans un répertoire. Je m'explique. Il y a quelques temps, avec votre aide, j'ai réussi à récupérer une quantité importante de fichiers.wma que j'avais effacés par erreur. cd [le dossier qui contient les wma] for i in

Re: Re : Changer l'extension d'un fichier

2008-07-25 Par sujet Pierre
Immae a écrit : cd [le dossier qui contient les wma] for i in * do; mv $i `echo $i | sed -e 's/\.asf$/\.wma/'`; done Dois-je taper cette commande dans un terminal ou un fichier de commande. J'ai par le passé beaucoup manipulé le DOS 5 de microsoft, mais j'avais un bouquin épais comme une

Re : Re : Changer l'extension d'un fichier

2008-07-25 Par sujet Immae
cd [le dossier qui contient les wma] for i in * do; mv $i `echo $i | sed -e 's/\.asf$/\.wma/'`; done Dois-je taper cette commande dans un terminal ou un fichier de commande. Dans un terminal, en étant dans le dossier où il y a les asf J'ai par le passé beaucoup manipulé le DOS 5 de

Re: Changer l'extension d'un fichier

2008-07-25 Par sujet Yannick LM
On Fri, 2008-07-25 at 21:39 +0200, Pierre wrote: Bonjour à tous ... Je pense que c'est possible, mais je n'ai aucune idée de comment faire. Quelqu'un a-il-une idée ? Le programme rename va faire ça très bien. (Je crois qu'il faut installer le paquet «rename» d'abord. Ensuite : rename -n