Come modificare il nome e l'estensione di un file. O meglio: molti contemporaneamente

A volte ci viene presentato un file con un nome che vogliamo cambiare. Altre volte, quello che vogliamo cambiare è la sua estensione. Questo è qualcosa di molto semplice praticamente in qualsiasi sistema operativo, ma le cose cambiano già se vogliamo farlo molte volte. Qual è l'opzione migliore? Come molti altri tipi di attività in Linux, il migliore (anche se non sempre) in questi casi è farlo dal terminale o creare uno script per automatizzare il processo di modificare il nome e l'estensione di uno o più file contemporaneamente.

Ma prima di continuare vorrei spiegare una cosa: cambiare l'estensione di un file non è la stessa cosa che convertirlo. L'unica cosa che faremo quando cambieremo l'estensione in un file sarà qualcosa come "cambia il cognome", ma il file rimarrà lo stesso. Ciò significa che, ad esempio, se una foto viene salvata in formato PNG, la modifica dell'estensione in qualcosa di .jpg non la renderà JPG. Possiamo verificarlo facendo clic con il pulsante destro del mouse e guardando le informazioni sul file. A cosa serve cambiare l'estensione di un file? Ci sono casi in cui è una buona idea.

Modifica il nome e l'estensione di un file. Qual è la migliore?

Non sono un grande lettore di fumetti, ma ho i fumetti di Dragon Ball. Qualche tempo fa ho preso quelli per Dragon Ball e Dragon Ball Z e nella mia ricerca ho capito una cosa: i file CBR (Comic Book Reader) sono fondamentalmente uno ZIP con un'estensione che li fa aprire nel software che serve per leggere fumetti. In altre parole, a un fumetto che viene compresso in ZIP e tutte le immagini sono all'interno (senza essere all'interno di una cartella) possiamo cambiare l'estensione in .cbr e sarà direttamente compatibile con i lettori di fumetti. Questo è un esempio perfetto per capire di cosa tratta questo post.

Per un file: F2

Se quello che vogliamo è cambiare il nome e l'estensione di un file isolato, la cosa più semplice è farlo fai clic destro su di esso e scegli «Rinomina», "Rinomina" o qualunque cosa tu abbia inserito nella tua distribuzione Linux. In molti sistemi operativi, l'opzione per rinominare è F2, ma ci sono anche molti computer, soprattutto laptop, dove F2 è "catturato" da qualche funzione (sul mio laptop attiva la modalità aereo). Se questo è il tuo caso, per rinominare un file devi usare Fn + F2.

Se cambiamo solo il nome non ci dirà nulla, ma se cambiamo l'estensione, alcuni sistemi operativi ci chiederanno se vogliamo cambiare / aggiungere un'estensione diversa, alla quale dobbiamo dire sì o accettare.

Con il comando mv

Il comando mv proviene da "move", ma ha anche la capacità di rinominare. Il comando sarebbe simile a questo:

mv /ruta/al/archivo/origen.ext /ruta/al/archivo/destino.ext

Da quanto sopra dobbiamo:

• mv è l'ordine.
• / percorso / a / file sono i percorsi, il primo quello del file originale e il secondo quello del file che salveremo con un nuovo nome ed estensione.
• .est è l'esempio che ho voluto utilizzare per definire l '"estensione".

Una cosa importante da tenere a mente: ci sono directory in cui non possiamo apportare modifiche perché sono protette. Se vogliamo salvare un file in una directory protetta dobbiamo usare "sudo mv".

Con il comando rinomina

El rinomina il comando è un po 'più potente del precedente perché ha più opzioni disponibili. Se la tua distribuzione Linux non lo ha installato per impostazione predefinita, può essere installato con il comando sudo apt install rinomina. L'opzione che ci interessa è la «s» (da «substitute», a substitute) e il comando sarebbe simile a questo:

rename 's/nombreviejo/nuevonombre/' archivo1.ext archivo24.ext

Questo comando ci permette anche di cambiare il nome e l'estensione di molti file, per i quali consiglio di andare nella directory dove si trovano i file dal terminale. Per questo scriveremo questi comandi, purché i file siano sul desktop:

cd /home/pablinux/Escritorio
sudo rename 's/.jpg/.png/' *

Prima di "s" possiamo aggiungere le opzioni:

• -v: ci mostrerà un elenco dei file rinominati insieme ai nuovi nomi.
• -n: farà una simulazione che mostra solo i file che verranno modificati, ma non li tocca.
• -f: forza la sovrascrittura dei file originali.

Con Inviska Rinomina

Rinomina Inviska è un software appositamente progettato per la ridenominazione di massa di file e directory. È multipiattaforma e disponibile per Linux. Una volta aperto, faremo quanto segue

1. La prima cosa che vedremo è una visualizzazione della nostra cartella personale. Ho aperto la cartella sul desktop e appare quello che hai nella schermata precedente.
2. Per prima cosa sceglieremo il nome, nella scheda "Nome".
   • Sostituisci il nome con X
   • Sostituisci il testo X con Y.
   • Inserisci il testo X nella posizione Y.
   • Inserisci X all'inizio (possiamo selezionare la casella a destra per aggiungerla alla fine).
   • Trim in posizione X.
   • Taglia N caratteri a sinistra (possiamo selezionare la casella a destra in modo che sia ritagliata a destra).
3. Nella seconda scheda (Estensione) possiamo scegliere l'estensione. Le opzioni sono le stesse della scheda precedente.
4. E nel terzo, la numerazione. Se non vogliamo aggiungere un numero, lo lasciamo per impostazione predefinita. Se vogliamo aggiungere un numero, possiamo farlo all'inizio, alla fine o in una determinata posizione. Sarebbe simile a questo:

5. Facciamo clic su «Rinomina».
6. Nell'avviso si fa clic su "Ok".
7. Se tutto è andato per il verso giusto non vedremo nessun messaggio. Ora non resta che verificare che i file siano stati convertiti con il nome che abbiamo indicato e nel percorso che abbiamo configurato.

Hai testato se il tuo sistema operativo lo fa per impostazione predefinita?

Questa domanda mi sembra importante. Ad esempio, Kubuntu no, ma Ubuntu consente di rinominare molti file contemporaneamente. Per fare ciò, seleziona più file, fai clic con il pulsante destro del mouse e scegli l'opzione "Rinomina". Apparirà qualcosa di simile a quello che ci offre Inviska Rename, ma più semplice. In ogni caso l'ho usato e mi ha aiutato.

Mi sembra importante ricordare ancora una volta che tutto ciò che abbiamo menzionato in questo post Si tratta di "rinominare", non di "convertire". Per convertire uno o più file in altri formati (altra estensione), dovrebbe essere utilizzato un sistema per ciascun tipo di file. Ad esempio, per convertire tutte le immagini JPG in una directory in PNG con lo strumento ImageMagick dovremmo scrivere quanto segue, qualcosa che abbiamo più in dettaglio nel nostro blog gemello Ubunlog:

for file in *.png; do convert $file -resize 830 primera-$file; done

Sai già come modificare il nome e l'estensione di un file con il tuo PC Linux?