conoscete uno script o un programma per rinominare tutti i file in una directory con i nomi descritti in un elenco in un file (x es. txt)?