Le estensioni di file aiutano sia i sistemi operativi che gli utenti a distinguere tra diversi formati di file e a comprendere i contenuti archiviati al loro interno. Quando vedi un file con estensione ".txt", sai immediatamente che contiene dati di testo. Allo stesso modo, il file ".exe" è un eseguibile di Windows e i file ".sh" sono script della shell di Linux.
Ma cosa succede se si desidera modificare queste estensioni per qualche motivo? Forse è necessario rinominare un file di testo in uno script Bash. La semplice scrittura del codice in un file di testo non funzionerà.
Su Linux, cambiare le estensioni dei file è molto più semplice di quanto potresti pensare.
Modifica le estensioni dei file dal terminale
Le estensioni fanno parte del nome di un file. E se vuoi cambiare l'estensione (o il nome), useresti il comando mv. mv sta per "sposta" ed è il comando standard su Linux per spostare e rinominare i file.
Ma perché usare mv per rinominare i file, potresti chiederti? È perché un'operazione di ridenominazione equivale a un'operazione di spostamento nella stessa directory, solo con un nome diverso.
La sintassi di base per rinominare i file dalla riga di comando è:
mvfile.vecchiofile.nuovo
...dove vecchio e più nuovo sono rispettivamente la vecchia e la nuova estensione.
Considera di voler cambiare un file di testo "myscript.txt" in uno script Bash. Utilizzare il comando seguente per farlo:
mvmio copione.testomio copione.sh
Potrebbe essere necessario anteporre sudo ai comandi mv a seconda del proprietario del file.
Rinomina più estensioni di file contemporaneamente
Hai un'intera cartella di file con estensioni non appropriate? Con un semplice Bash for loop, puoi modificare le estensioni di più file contemporaneamente. Ad esempio, per modificare tutti i file TXT in una cartella in PDF:
per un in *.txt; fare mv -- "$ un""${a%.txt}.pdf"; fatto
Il summenzionato one-liner è un ciclo for che trova ogni file che termina con ".txt". Quindi, esegue ricorsivamente un'operazione di ridenominazione su tutti i nomi di file corrispondenti e sostituisce l'estensione ".txt" con ".pdf". Il "fatto" alla fine del comando indica che il ciclo è terminato. Semplice!
Come rinominare graficamente le estensioni dei file
Linux ha diversi ambienti desktop; alcuni sono molto simili al desktop predefinito di Windows, mentre altri ostentano la loro unicità in ogni elemento grafico. Ma l'esperienza dell'utente è più o meno la stessa per tutti i desktop. Ciò significa che rinominare i file su un desktop Linux è il più semplice possibile.
Apri il file manager installato sul tuo computer e seleziona un file evidenziandolo. Quindi, fare clic con il pulsante destro del mouse e selezionare Rinominare. Nel campo è possibile modificare il nome del file, inclusa la sua estensione. Procedi modificando le estensioni dei file e poi premi accedere finire.
Molti Gestori di file Linux fornisci anche scorciatoie che puoi usare per risparmiare un clic in più. Ad esempio, su GNOME (file manager Nautilus), puoi premere F2 mentre si evidenzia un file per accedere rapidamente alla funzione di ridenominazione, eliminando la necessità di fare clic con il pulsante destro del mouse. Allo stesso modo, su KDE Plasma (Dolphin) e XFCE (Thunar), puoi colpire il F2 chiave per modificare rapidamente le estensioni dei file.
Esecuzione di operazioni di gestione dei file di base su Linux
Rinominare l'estensione di un file utilizzando l'interfaccia desktop è intuitivo e facile, ma quando hai a che fare con più file contemporaneamente, l'utilizzo del terminale è la scelta ottimale.
La riga di comando di Linux è un potente strumento per gli utenti che sanno come usarlo. Dalle operazioni quotidiane alle attività di amministrazione del sistema altamente sofisticate, puoi fare tutto con un terminale. E la parte migliore, non hai nemmeno bisogno di una GUI per poter usare una macchina Linux. Questo è principalmente il motivo per cui il terminale fa ancora parte dell'ecosistema Linux, in un'epoca in cui le interfacce grafiche sono la norma.
5 motivi per cui Linux usa così tanto la riga di comando
Leggi Avanti
Argomenti correlati
- Linux
- Gestione dei file
- Comandi Linux
- Ambiente desktop Linux
- terminale
Circa l'autore

Deepesh è il Section Editor per Linux di MUO. Scrive guide informative su Linux, con l'obiettivo di fornire un'esperienza felice a tutti i nuovi arrivati. Non sono sicuro dei film, ma se vuoi parlare di tecnologia, è quello che fa per te.
Iscriviti alla nostra Newsletter
Iscriviti alla nostra newsletter per suggerimenti tecnici, recensioni, ebook gratuiti e offerte esclusive!
Clicca qui per iscriverti