Come modificare un estensione del file in Linux

April 21

Come modificare un 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" (spostamento). In sostanza, si sta "in movimento", 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.

istruzione

1 Aprire il programma di utilità a riga di comando preferito, come Terminal (Mac OS X) o il prompt a riga di comando (Windows).

2 Connettersi al server:

SSH yourdomain.com

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

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

/ A / cartella del CD / percorso

Sostituire / path / to / cartella 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 cambiare "index.html" per "index.php" è necessario digitare il seguente comando:

mv index.html index.php