Astuce du jour: renommer des fichiers ayant des ":" transformés en "%3a"
Ça arrive tout le temps par exemple lorsqu'on télécharge un paquet deb d'un fichier dont le nom contient un deux-points ... pour reconvertir le nom du fichier et remplacer le %3a par le signe ":" vous pouvez utiliser la ligne de commande suivante:
for i in *; do mv -v "$i" "${i/\%3a/:}"; done;
