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.