Re: [linux] Changer les extensions...

2002-04-29 Thread Olivier Thauvin
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Le Lundi 29 Avril 2002 18:18, ::: CORNELY Nicolas ::: a écrit : > Le lun 29/04/2002 à 17:23, Olivier Thauvin a écrit : > > cd /mon/rep/a/la/con/plein/php > > for i in *.php ; do > > base=`basename $i .php` > > mv $i $base.php4 > > done > > > >

Re: [linux] Changer les extensions...

2002-04-29 Thread ::: CORNELY Nicolas :::
Le lun 29/04/2002 à 17:23, Olivier Thauvin a écrit : > cd /mon/rep/a/la/con/plein/php > for i in *.php ; do > base=`basename $i .php` > mv $i $base.php4 > done > > dans ton cas encore plus simple: > > cd /mon/rep/a/la/con/plein/php > for i in *.php ; do > mv $i ${i}4 > done N

Re: [linux] Changer les extensions...

2002-04-29 Thread roger
Le Lundi 29 Avril 2002 17:10, vous avez écrit : > Quelqu'un connaît-il une commande permettant de changer les > extensions d'un grand nombre de fichier contenu dans un répertoire. > > Ex.: 200 fichiers *.php à convertir en *.php4 dans le répertoire /x. for fichier in *.php do mv "$fichier" "$fich

[linux] changer les extensions

2002-04-29 Thread Alain . Empain
Il y a aussi l'outil générique 'rename edit_command file_list' ex: rename 's/php/php4/' *.php REM: attention il y a au moins 2 'rename' qui rodent, donc vérifier le man Alain

Re: [linux] Changer les extensions...

2002-04-29 Thread Pol
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Le Lundi 29 Avril 2002 17:10, ::: CORNELY Nicolas ::: a écrit : > Quelqu'un connaît-il une commande permettant de changer les extensions > d'un grand nombre de fichier contenu dans un répertoire. > > Ex.: 200 fichiers *.php à convertir en *.php4 dans

Re: [linux] Changer les extensions...

2002-04-29 Thread Olivier Thauvin
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 cd /mon/rep/a/la/con/plein/php for i in *.php ; do base=`basename $i .php` mv $i $base.php4 done dans ton cas encore plus simple: cd /mon/rep/a/la/con/plein/php for i in *.php ; do mv $i ${i}4 done Le Lundi 29 Avril 2002 17

[linux] Changer les extensions...

2002-04-29 Thread ::: CORNELY Nicolas :::
Quelqu'un connaît-il une commande permettant de changer les extensions d'un grand nombre de fichier contenu dans un répertoire. Ex.: 200 fichiers *.php à convertir en *.php4 dans le répertoire /x. -- === CORNELY Nicolas - http://www.cornely.org/ -