Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
1434 connectés 

 


 Mot :   Pseudo :  
 
 Page :   1  2
Page Suivante
Auteur Sujet :

Comment changer l'extension d'un fichier avec sed ?

n°148789
Buchu
Posté le 02-09-2002 à 00:05:38  profilanswer
 

Reprise du message précédent :
!!???
 

djoh a écrit a écrit :

 
 
perdu [:joce]
je savais que mon titre serait mal compris  :o  
mais je savais pas comment le dire
je veux recup le truc.wav, et obtenir la chaine de caractere truc.ogg (mv truc.wav truc.ogg n'a pas grand interet ;) )
 
 
EDIT : scuse j'avais mal lu, j'avais pas vu le basename
merci  :jap:  :hello:  




 
 
oki po garve :)


Message édité par Buchu le 02-09-2002 à 00:06:20

---------------
-- Bubu --
mood
Publicité
Posté le 02-09-2002 à 00:05:38  profilanswer
 

n°182394
FlamM
comme tarte flambée bien sûr !
Posté le 31-10-2002 à 18:22:39  profilanswer
 

Une ctite question :
 
quel serait l'équivalent en sed/awk de basename, histoire de l'adapter pour virer le début d'un nom de fichier par exemple, ou remplacer un pattern quelconque ?


---------------
* La vitesse de la lumière étant supérieure à celle du son, certaines personnes paraissent brillantes jusqu'à ce qu'elles ouvrent leur gueule. *
n°182410
darkbird
Posté le 31-10-2002 à 18:55:43  profilanswer
 

Pour le cas précédent, il y a ça qui fonctionne en utilisant sed
 
for f in  *.wav;
do
mv $f `echo $f | sed "s/wav/ogg/"`;
done

mood
Publicité
Posté le   profilanswer
 

 Page :   1  2
Page Suivante

Aller à :
Ajouter une réponse
 

Sujets relatifs
Changer la partoche de boot par defaut sous liloComment peut on imprimer dans un fichier ?
[Debian] Changer le nom d'une carte réseau > eth0 => eth1help sur conversion fichier txt
redemarrer le serveur X/fichier de disposition des icones sous KDESystème de fichier en lecture seule
Linux: transfert de fichier sous samba[Amiga] Fichier ADF sur PC > D7 Amiga ?
pas de boot de Win2000 à cause du fichier winnt/system32/config/sys...changer l'extension d'une centaine de fichier d'un coup
Plus de sujets relatifs à : Comment changer l'extension d'un fichier avec sed ?


Copyright © 1997-2022 Hardware.fr SARL (Signaler un contenu illicite / Données personnelles) / Groupe LDLC / Shop HFR