A quanti sarĂ capitato di dover rinominare massivamente per normalizzare i nomi di file, un'intera cartella. Vi lascio qui uno script che potete riadattarlo a vostro piacimento. I passaggi sono i seguenti :
1) create un file tipo rinomina.sh che copiate nella cartella da rinominare
2) inserite il codice che trovare a fondo pagina personalizzandolo
3) rendetelo eseguibile
3) eseguitelo per ottenere il risultato voluto
A quanti sarĂ capitato di dover rinominare massivamente per normalizzare i nomi di file, un'intera cartella. Vi lascio qui uno script che potete riadattarlo a vostro piacimento. I passaggi sono i seguenti :
1) create un file tipo rinomina.sh che copiate nella cartella da rinominare
2) inserite il codice che trovare a fondo pagina personalizzandolo
3) rendetelo eseguibile
3) eseguitelo per ottenere il risultato volut
#!/bin/bash
# cambiate i parametri che dovete usare
num=0
echo Qui di seguito i file rinominati :
for FILE in *
do
echo "$FILE" | grep -q "testochedevetrovarsi nel file" # controlla se esiste la stringa
if [ $? -eq 0 ] # se ci sono
then
# NUOVONOME=${FILE//-storia del west/_} # sostituzione dello spazio con _
# NUOVONOME=${FILE//Storia del West/} # sostituzione dello spazio con _
NUOVONOME1=${FILE// /} # sostituzione e quindi eliminazione degli spazi
mv "$FILE" $NUOVONOME1 # rinomina il file
NUOVONOME1=${FILE//testodasostituire/testonuovo} # sostituzione del testo con quello che vuoi
mv "$FILE" $NUOVONOME1 # rinomina il file
echo $NUOVONOME1 # lo visualizza
let "num += 1" # incrementa il contatore
fi
done
echo $num file