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

  1. jipicy Messages postés 40842 Date d'inscription   Statut Modérateur Dernière intervention   4 898
     
    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
  2. 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
  3. 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