Cambiare l'estensione di un file dalla riga di comando di Linux comporta lo stesso comando come cambiare il nome del file stesso: il comando "mv" (sposta). Essenzialmente, si "Sposta" il file originale in un nuovo file con un'estensione diversa. Se si commette un errore quando ri-assegnare un'estensione di file, è possibile utilizzare il comando "mv" di cambiare di nuovo.
Istruzioni
1
Aprire l'utilità di riga di comando preferito, come terminale (Mac OS X) o il prompt della riga di comando (Windows).
2
Connettersi al server:
SSH yourdomain.com
Sostituire yourdomain.com con il tuo indirizzo IP o il nome di dominio specifico.
3
Passare alla directory dove si trova il file che si desidera modificare:
CD /path/to/folder
Sostituire /path/to/folder con il percorso specifico alla cartella, vale a dire /var/public_html/yourdomain.com/public
4
Digitare il seguente comando:
MV filename.oldextension filename.newextension
Ad esempio, se si desidera modificare "index. html" per "index. php" si digiterà il seguente comando:
MV index. html index. php