Rinominare velocemente un file da terminale

Spesso mi chiedono se esiste o no un comando per rinominare i file da terminale. E’ una domanda che ultimamente mi sta capitando molto spesso, quindi ecco che do una risposta semplice: si e no 🙂

Si, perché esiste un modo per rinominare un file da terminale, ma anche no, perché di default non c’è un comando specifico per farlo. Questo vuol dire che  ci basta ricorrere ad un comando che conosciamo molto, molto bene!

Apriamo il nostro terminale. Posizioniamoci nella cartella dove si trova il file che vogliamo rinominare, o in alternativa ci basta conoscere il percorso. A questo punto, ci basta dare:

mv vecchio_nome.txt nuovo_nome.txt

Ed il file verrà rinominato in men che non si dica. Ovviamente, prestiamo attenzione a cosa scriviamo, e sopratutto controlliamo bene l’estensione! Se si cambia anche quella, si rischia di perdere il contenuto del file.