Renommer des fichiers de la même manière encore et encore

Question

J'ai eu un programme de travail sur certaines images de la mienne et il les a renvoyés à mon répertoire. chose amusante, ils sont maintenant toutes les images png au lieu de gif. Au début, je pensais que c'était un simple changement de nom, mais j'ai testé avec php en utilisant createimagefrompng(), ce qui va générer une erreur si l'image n'est pas un fichier png valide. Aucune erreur n'a été renvoyée. Que ce soit ou non cela me donne un résultat 100% précis n'est pas le problème ici, le problème est que je veux renommer tous ces fichiers d'une manière similaire.

Maintenant, alors que je pourrais écrire un fichier php pour faire cela pour moi, je me demande comment je pourrais faire ce qui suit en batch ou C# ou java.

Tous ces fichiers contiennent toujours la chaîne ".gif", et je veux supprimer cela. En php, ce serait aussi simple que d'utiliser une boucle foreach, de lire le fichier, d'utiliser str_replace, puis de détruire l'ancien et d'écrire le nouveau.

Je suis un peu bloqué quant à la façon dont je le ferais en batch, C# ou java, quelqu'un peut-il m'aider ici?

En outre, je cours Windows Vista et j'ai installé Powershell 1.0.

Solution 1 - C#:

var files = Directory.GetFiles(@"C:\Downloads\Temp\test\"); 
foreach (var file in files) 
{ 
    if(file.Contains(".gif")) 
    { 
    string testing = string.Format("{0}.png", Path.GetFileNameWithoutExtension(file.Replace(".gif", ""))); 
    File.Move(file, @"C:\Downloads\Temp\test\"+testing); 
    } 
} 

Answer 1

Vous pourriez probablement faire quelque chose dans la mesure de ce qui suit dans C#

var files = new DirectoryInfo(@"c:\files").GetFiles(@"*.gif"); 
foreach (var file in files) 
    File.Move(file.FullName, string.Format("{0}.gif", Path.GetFileNameWithoutExtension(file.FullName))); 

ou plus simplement ..

var files = Directory.GetFiles(@"c:\files", @"*.gif"); 
foreach (var file in files) 
    File.Move(file, string.Format("{0}.gif", Path.GetFileNameWithoutExtension(file))); 

Answer 2

Pour C#, ce qui suit va faire ce que vous voulez -
1. Ouvrez une instance DirectoryInfo pour le directory où les fichiers existent
2. Obtenez tous les fichiers l'extension que vous voulez changer.
3. Modifiez l'extension de chaque fichier par eux.

Answer 3

En Lot vous pouvez effectuer les opérations suivantes:

@echo off 
setlocal enabledelayedexpansion enableextensions 
for %%f in (*.gif.png) do (
    set fn=%%f 
    set fn=!fn:.gif=! 
    ren "%%f" "!fn!" 
) 
endlocal 

Cela devrait fonctionner, au moins si les fichiers sont nommés .gif.png ... sinon, changer le filtre dans la déclaration for. Plus d'aide sur ce que vous pouvez faire avec des remplacements dans une déclaration set sont trouvés avec help set.

Answer 4

Si vous souhaitez renommer tous les fichiers .png dans un dossier en .gif avec Java, je vous suggère de jeter un oeil à Apache Commons IO. La classe FileUtils fournit une méthode d'itération sur tous les fichiers avec une extension donnée ([iterateFiles] [3]) tandis que File lui-même fournit une méthode renameTo.

EDIT: Pour une raison quelconque, stackoverflow n'aime pas l'utilisation de la paranthesis dans le lien 3, vous devrez donc le copier et le coller manuellement. Je serais probablement aller pour l'approche par lots tho, comme Java est pas exactement votre premier choix pour les tâches administratives :)

[3]: http://commons.apache.org/io/api-release/org/apache/commons/io/FileUtils.html#iterateFiles(java.io.File, java.lang.String [], Boolean)

Answer 5

sur la ligne de commande:

(cela suppose qu'il n'y a pas de fichiers .gif)

REM first rename all .gif.png to .gif 
for %i in (*.gif.png) do ren %i %~ni 

REN then rename all .gif to .png 
for %i in (*.gif) do ren %~ni.gif %~ni.png 

utilisation pour/aide pour savoir ce que les options% votre version de Windows prend en charge.

Ce qui suit ne fonctionne pas avec .gif.png, désolé j'ai mal lu cette partie.

sur la ligne de commande (encore plus facile!):

s * .gif * .png

une version Java (fixée pour le .gif.png):

import java.io.File; 
import java.io.FilenameFilter; 
import java.util.regex.Matcher; 
import java.util.regex.Pattern; 

public class Main 
{ 
    public static void main(final String[] argv) 
    { 
     final File dir; 
     final File[] entries; 

     dir  = new File(argv[0]); 
     entries = dir.listFiles(new FilePatternFilter(".*\\.gif\\.png")); 

     for(final File entry : entries) 
     { 
      if(entry.isFile()) 
      { 
       final String path; 
       final String newPath; 
       final File newEntry; 

       path  = entry.getPath(); 
       newPath = path.substring(0, path.length() - "gif.png".length()) + "png"; 
       newEntry = new File(newPath); 

       if(!(entry.renameTo(newEntry))) 
       { 
        System.err.println("could not rename " + entry.getPath() + 
             " to " + newEntry.getPath()); 
       } 
      } 
     } 
    } 
} 

Answer 6

Si vous pouvez utiliser C, vous pouvez utiliser le boost :: algorithim stringalgo bibliothèque et/ou boost :: regex si vous voulez vraiment un puissant moyen de fais ceci. Notez que l'utilisation des API Windows EDIT (ou équivalents linux) pour Move File, etc, sera beaucoup plus rapide, car ils créeront simplement de nouveaux liens sur le disque, plutôt que de copier les données, si cela est possible.