Nwlapcug.com


Come modificare un'estensione in Linux

Come modificare un'estensione in Linux


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