Copier tout les gifs dans un dossier

bxflash Messages postés 156 Statut Contributeur -  
bxflash Messages postés 156 Statut Contributeur -
Salut

Je voudrais chercher tous les gifs dans une linux, les copier dans un dossier, en ligne de commande. avec bash

Je ne trouve pas une commande avec des pipes ou redirection.

lol

Scanner tout le disque à la recherche des .gif
ensuite
les copier intégralement
ensuite
les placer dans un dossier /home/linux/Desktop/icones

Je sais pas quel commande utiliser (
find, grep, ls, cat, ...
)

Merci beaucoup

bxflash

3 réponses

jipicy Messages postés 41342 Statut Modérateur 4 896
 
Salut,

Essaie ça (la commande "mv" les déplace tous dans le répertoire spécifié. Si tu veux les copier sans les déplacer utilises la commande "cp") :
find / -name "*.gif" -exec mv {} /home/linux/Desktop/icones/ \;
N'oublies pas le "point virgule" à la fin précédé d'un "antislash".
0
marc[i1] Messages postés 2603 Statut Contributeur 382
 
ah !
je voyait un script comme ça moi :

for fichier in $( locate .gif )
do
   cp $( echo $fichier ) /home/linux/Desktop/icones/
done

ça devrait fonctionner :/ ??

j'ai encore du mal avec find, je le trouve lent à chercher, mais bon pour utiliser locate faut faire en root un "updatedb" avant, alors :/
0
bxflash Messages postés 156 Statut Contributeur 9
 
Merci grandement Jipicy, j'ai mis cp à la place de
mv, j'ai 13000 gifs en 2 minutes dans le dossier avec
une seul commande

Merci beaucoup

Cette commande est utilisable pour tout type d'extension, c'est
bien d'avoir posé ma question...

Bx

find / -name "*.gif" -exec cp  {} /home/linux/Desktop/icones/ \;
0