Copier des noms de fichiers en changeant les extensions
Bonjour à tous,
j'ai une requête simple :
j'ai un dossier contenant 250 images (.png) et j'aimerais utiliser un script qui crée dans un autre dossier un fichier texte vierge qui a le même nom que l'image (.txt).
Comme ça risque de ne pas être la seule fois que je fais cette manoeuvre, j'aimerais bien avoir un petit script pour m'aider :)
Les fichiers texte seront modifiés plus tard pour faire de la persistance d'informations (XML ou autre, ça reste encore à décider).
Je la refais en version algorithme au cas où ma demande n'est pas claire :
Pour chaque fichier texte de ./images, créer un fichier texte dans ./donnees qui possède le même nom (et pas la même extention, naturellement).
Est-ce que c'est possible sous Windows ? J'ai déjà eu des soucis avec le changement d'extensions par le passé (j'ai coché l'option pour qu'elles soient visibles sur ce PC).
Merci de votre temps,