Salve a tutti in questa guida vediamo come rinominare un file:
I comandi da usare sono due,uno è
mv e l'altro è
rename.
Il comando mv non serve solo a spostare dei file ma serve anche per rinominare un file.
La sua sintassi è :
- Codice:
-
mv nome_file nuovo_nome_file
Per sovrascrivere un file con lo stesso nome usiamo l'opzione -i :
- Codice:
-
mv -i primo_file secondo_file
Il comando rename è molto utile se vogliamo modificare il nome di un gruppo di file.
Per esempio un gruppo di file che hanno come nome tipico :
- Codice:
-
FILE_001.JPG
Se vogliamo cambiare l'estensione di un gruppo di file,presenti nella stessa directory,da maiuscolo a minuscolo digitiamo :
- Codice:
-
rename 's/.jpg/.JPG/' *.jpg
o al contrario
rename 's/.JPG/.jpg/' *.JPG
il primo elemento (.jpg) indica cosa ricercare,il secondo (.JPG) cosa sostituire e il terzo (.jpg) il gruppo di file in cui effettuare la ricerca.
Se invece vogliamo trasformare i caratteri dei file da maiuscolo a minuscolo :
- Codice:
-
rename 'y/A-Z/a-z/' *
o al contrario
rename 'y/a-z/A-Z/' *
Mentre se vogliamo modificare il nome del file :
- Codice:
-
rename 's/FILE_/2012_/' FILE_*
il primo elemento (FILE_) indica il nome da sostituire con il secondo elemento (2012_) ed in fine il terzo elemento (FILE_*) indica il gruppo di file che iniziano con FILE_ in cui sostituire il nome.
Questo comando può essere usato anche per togliere l'estensione a un gruppo di file :
- Codice:
-
rename 's/.jpg$//' *.jpg
*questo articolo è presente anche su
[Devi essere iscritto e connesso per vedere questo link] e su
[Devi essere iscritto e connesso per vedere questo link]