lunedì 25 agosto 2014

sed: sostituire tutti gli spazi a inizio riga con un altro carattere

Se vogliamo sostituire, ad esempio, tutti gli spazi a inizio riga con il carattere underscore ('_'), possiamo usare questo comando:

sed ':a;s/^\([[:space:]]*\)[[:space:]]/\1_/;ta' file

Se vogliamo mantenere l'indentazione di un blocco di codice in formato testo dopo averlo messo su un server http possiamo sostituire gli spazi iniziali con il codice HTML corrispondente allo spazio:

 


sed ':a;s/^\([[:space:]]*\)[[:space:]]/\1 /;ta' file

giovedì 21 agosto 2014

Linux: conversione da WAV a MP3

Installiamo il software necessario

sudo apt-get install lame

Spostiamoci nella cartella contenente i file .wav da convertire e lanciamo il comando seguente:

for f in *.wav; do lame -V 1 "$f" "${f%.wav}.mp3"; done

php: visualizzare gli eventuali errori nell'esecuzione di una query mysql

Inserire la linea di codice seguente subito dopo la query da controllare:

echo mysql_errno() . ": " . mysql_error() . "\n";

venerdì 15 agosto 2014

Convertire tutte le immagini PNG di una cartella in formato JPG

mogrify -format jpg *.png