Sobre ficheros

[Pip]

Queda un poco feo que me responda yo a mi mismo pero, por si sirviera de ayuda y, pese a no ser la solución... En el caso en el que tengais muchos archivos mezclados y querais borrar todos los que tengan cualquier extensión que no sea una en concreto, el único método "casero" que se me ha ocurrido es realizar una búsqueda en ese directorio de los ficheros con la extensión que querais (por ejemplo *.gif en mi caso) y copiarlos a otra parte.

El problema es que querais mantener cada fichero en su propia carpeta. Entonces debeis hacer lo contrario, buscar los ficheros que tengan otra extensión y eliminarlos todos. Esto puede ser más que cansino. En mi caso tenía una amplia mezcla de ficheros .htm y ficheros .gif, así que sólo debí borrar los .htm para quedarme con los gifs.