Guida avanzata di scripting Bash - Portale Posta DMI

echo "$numero file rinominato."
else
echo "$numero file rinominati."
fi
exit 0
Appendice A. Script aggiuntivi
# Esercizi:
# --------
# Quali sono i file sui quali lo script non agisce?
# Come può essere risolto il problema?
#
# Riscrivete lo script in modo che elabori tutti i file della directory
#+ nei cui nomi sono presenti degli spazi, e li rinomini sostituendo
#+ ogni spazio con un trattino di sottolineatura (underscore).
Esempio A-3. blank-rename: rinomina file i cui nomi contengono spazi
È una versione ancor più semplice dello script precedente
#! /bin/bash
# blank-rename.sh
#
# Sostituisce gli spazi nei nomi dei file presenti nella directory
#+ con degli underscore.
UNO=1 # Per gestire correttamente il singolare/plurale
#+ (vedi oltre).
numero=0 # Per contare i file effettivamente rinominati.
TROVATO=0 # Valore di ritorno in caso di successo.
for nomefile in * # Scorre i file della directory.
do
echo "$nomefile" | grep -q " " # Controlla se il nome del file
if [ $? -eq $TROVATO ] #+ contiene uno/degli spazio(i).
then
fnome=‘basename $nomefile‘ # Elimina il percorso.
n=‘echo $fnome | sed -e "s/ /_/g"‘ # Sostituisce lo spazio
#+ con un underscore.
mv "$fnome" "$n" # Rinomina.
let "numero += 1"
fi
done
if [ "$numero" -eq "$UNO" ] # Per una corretta grammatica.
then
echo "$numero file rinominato."
else
echo "$numero file rinominati."
fi
613