Il suffisso del nome di un file è noto come il file " estensione ". Questo suffisso , come ad esempio. Doc o . Jpg , racconta il sistema operativo e le applicazioni installate che cosa fare con il file . In alcuni casi, può essere necessario modificare l'estensione di un file. Questo può essere fatto semplicemente rinominando il file e aggiungendo la nuova estensione alla fine del nome del file . Tuttavia, se è necessario modificare l'estensione di file per diversi file , è più semplice per farlo dal prompt dei comandi di Windows . Istruzioni
1
Fare clic su " Start" e selezionare "Computer ".
2
doppio clic su " Disco locale C "
3 < p clic > destro su uno spazio vuoto del disco , selezionare " Nuovo " e scegliere " cartella " dalla lista . Assegnare un nome al " batch_rename . " Cartella
4
Selezionare il file che si desidera modificare e premere il tasto " Ctrl " e "C" per copiare il file . Individuare la nuova cartella e premere " Ctrl" e "V" per incollare una copia del file nella cartella . Ripetere questa operazione per ogni file che si desidera modificare .
5
Fare clic su " Start", digitare " cmd" e premere "Invio".
6
Digitare quanto segue e premere il tasto " Enter : "
cd c : \\ batch_rename
7
Digitare quanto segue , sostituendo " " con l'estensione desiderata e premere il tasto " Enter : "
ren * . bat * .
8 Copiare e incollare i file modificati in posizioni permanenti di vostra scelta .
< br >