Script bash per conversione wav->ogg
In realtà gli script sono 2: uno per sostituire gli spazi nei nomi dei file con gli underscore, l’altro per fare la conversione wav->ogg e al tempo stesso raddoppiare il volume di tutti i file wave in una cartella.
Vediamo il primo:
#!/bin/bash
# Substitutes underscores for blanks in all the filenames in a directory.
ONE=1 # For getting singular/plural right (see below).
FOUND=0 # Successful return value.
for filename in * #Traverse all files in directory.
do
echo “$filename” | grep -q ” ” # Check whether filename
if [ $? -eq $FOUND ] #+ contains space(s).
then
fname=$filename # Strip off path.
n=`echo $fname | sed -e “s/ /_/g”` # Substitute underscore for blank.
mv “$fname” “$n” # Do the actual renaming.fi
doneexit 0
Ed ecco il secondo:
#!/bin/bash
echo
for file in *
do
echo “Conversione file $file”; echo
sox -v 2.0 $file ${file%.wav}.oggdone
echo
exit 0
Prima di usare quest’ultimo script bisogna installare sox, convertitore audio da riga di comando.