Informatiche {bubbakk}

Vi è mai successo di dover rinominare tutti i file di una cartella, anche solo per cambiare estensione ? Se no, meglio per voi, se si, vi sarete accorti che, da console, non è così immediato; infatti, il comando mv da solo non basta.

Provo ad aiutarvi con questo:

Questa è una breve linea di  shell scripting  buona per Bourne Shell (sh), Bourne Again Shall (bash), la Z Shell (zsh), ma non  nelle C Shell e TC Shell (csh e tcsh rispettivamente). Cosa fa ? copia tutti file, presenti nella cartella in cui ci si trova, con estensione txt, con la nuova ‘estensione html.

Comando per comando

Vediamo in dettagli il comando:

Crea un ciclo mettendo, nella variabile oldfile, tutti i file presenti nell’attuale cartella, con estensione txt.

(siamo dentro al ciclo, nel comando cp) Prendi il valore della variabile oldfile (l’operatore $ indica di usare il valore), estrai il nome eliminando la desinenza .txt. Nota: il punto(.) deve essere incluso; inoltre lasciare lo spazio tra $oldfile e .txt, visto che basename è un comando e $oldfile e .txt i parametri. Per maggiori informazioni, man basename.

Premetto che l’apice al contrario (`) nella tastera italiana si inseriscono con ALT+96. E’ fondamentale, da non confondere con l’apice singolo “tradizionale” (’). In pratica, quando la shell trova qualcosa tra due apici rovesciati esegue quel comando, e poi il comando più esterno: serve, cioè, a lanciare un comando nel comando.

Detto questo, ormai tutto risulta semplice: esegue il comando cp copiando il file esistente, $oldfile, con il nuovo nome, che sarà il nome stesso senza estensione vecchia (comando basename), con agganciata l’estensione nuova .html (fare attenzione a non mettere spazi prima di .html

chiude il ciclo for.

Riassumo

Volendo formattare meglio lo script:
for oldfile in *.txt;
do
cp "$oldfile" "`basename "$oldfile" .txt`".html;
done
In questo modo il codice risulta più leggibile (ma non scrivetelo così andando a capo, otterreste solo errori ).

Se sono stato abbastanza chiaro, dovreste riuscire, modificando di poco il comando, a rinominare gruppi di file cambiandone la parte finale (in genere l’estenzione) o magari aggiungendo dei caratteri all’inizio. Per sostituire dei caratteri con degli altri, ovunque si trovino, la faccenda si complica un po’… magari lo vediamo in un altro POST.