Ce n'est pas très pratique - les autres réponses sont beaucoup plus rapides et courtes - mais...
Vous pouvez utiliser PowerShell ! Microsoft l'ouvrir récemment et l'a rendu multiplateforme. Pour les téléchargements et les instructions d'installation pour votre système d'exploitation, voir la section "Obtenir PowerShell .
Une fois que vous l'aurez installé, vous pourrez utiliser ce bref script :
Get-ChildItem -File '*]*.avi' | ForEach-Object {
Rename-Item $_ -NewName (($_.Name -Split ']')[0] + '.avi')
}
En gros, il passe en revue chaque objet du répertoire actuel qui est un fichier correspondant à l'une des catégories suivantes *]*.avi
, prend la partie avant le support, cloue .avi
sur elle, et l'assigne comme nouveau nom.
Pour l'exécuter directement depuis Bash, utilisez cette phrase semi-golfique :
powershell -command $'gci -File \'*]*.avi\'|%{rename-item $_ -NewName (($_.Name -Split \']\')[0]+\'.avi\')}'
La citation est une courtoisie de cette réponse de Stack Overflow .
(Testé dans Bash sur Ubuntu sous Windows. Il y a probablement un moyen beaucoup plus court de le faire avec PowerShell, mais je voulais montrer quelque chose qui soit compréhensible pour les personnes qui ne connaissent pas les expressions régulières).