Come modificare una estensione del file in Linux

Cambiare l'estensione di un file dalla riga di comando di Linux coinvolge lo stesso comando come cambiare il nome del file stesso: il comando " mv " ( move) . In sostanza , si sta " muovendo " il file originale in un nuovo file con estensione diversa . Se si commette un errore quando ri- assegnazione di un estensione del file, è possibile utilizzare il comando " mv " per cambiare di nuovo . Istruzioni
1

Aprire il programma di utilità preferito linea di comando , come il Terminal ( Mac OS X) o il prompt della riga di comando (Windows ) economici 2

connettersi al server : .

ssh yourdomain.com

Sostituire yourdomain.com con il tuo nome di dominio o un indirizzo IP specifico .
3

Passare alla directory in cui il file che si desidera da modificare si trova :

cd /path /to /folder

Sostituire /percorso cartella /per /con il percorso specifico per la tua cartella , cioè /var /public_html /yourdomain.com /pubblico
4

Digitare il seguente comando :

mv filename.oldextension filename.newextension

Per esempio , se si desidera cambiare " index.html " per "indice . php " è necessario digitare il seguente comando :

mv index.html index.php