Howto convert *.wav to *.mp3

So, um die Hitrate meines Blogs etwas zu erhöhen, gibts hier mal ein kleines Bash-Skript, das *.wav-Dateien in *.mp3 konvertiert. “Howto convert…” wird glaub ich sehr häufig auf Google gesucht

Widgets, Widgets und kein Ende

Nachdem ich nun dabei bin, alle möglichen anderen Pages und Web-Portale einzupflegen, wird mir die Sidebar nun fast schon zu klein Meine selbst gebastelte Bandlist von Lastfm ist auch schon drin.

Zeit, das einige unnötige Widgets rausfliegen, bloß welche???? Ich denk das “Pages” Widget ist nicht notwendig *delete*. Die Seiten werden ja auch in der oberen Leiste angezeigt.

Der Artikel über Xenomai kommt die nächsten Tage online.