Accedi al sistema Unix come qualsiasi utente con accesso in scrittura alla directory contenente il file la cui estensione si desidera modificare .
2
Cambia la directory corrente a quello che contiene il file . Ad esempio, digitare il seguente comando in una shell:
cd /home /carol /temp
Sostituire "/home /carol /temp" con il percorso della cartella che contiene il file . Premere il tasto " Enter ".
3
cambiare l'estensione del file utilizzando il comando " mv " di Unix . Ad esempio, digitare il seguente comando :
mv jerop.doc jerop.txt
Sostituire " jerop.doc " con il nome attuale ( compresa l'estensione ) del file la cui estensione si desidera cambiare . Sostituire " jerop.txt " con lo stesso nome del file , ma con la nuova estensione . Premere il tasto " Enter ". A quel punto , il filesystem Unix sarà cambiato l'estensione del file per il nuovo valore .
software © www.354353.com