#!/bin/sh
# Konvertierung eines ogg -> wav
if [ _"$1" = _ ] ; then
  echo Welche Datei denn?
  exit
fi

DIR=`dirname "$1"`
SOURCE=`echo "$1" | sed "s? ?\\\\\\ ?g" | sed "s?&?\\\\\\&?g"`
NAME=`basename "$SOURCE" .ogg`
ogg123 -d wav -f "$DIR"/"${NAME}".wav "$1"
lame -s 44.1 "$DIR"/"${NAME}".wav "$DIR"/"${NAME}".mp3
rm -f "$DIR"/"${NAME}".wav
