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

SOURCE=`echo "$1" | sed "s? ?\\\\\\ ?g" | sed "s?&?\\\\\\&?g"`
TARGET=`basename "$SOURCE" mp3`wav

## Leider funktioniert das mit der Frequenz nicht mehr und man bekommt immer 48000Hz
## was dazu fhrt, da sich die WAVs nicht brennen lassen
# mpg123 -r 44100 -w "${TARGET}" "$1"
## -->
sox "$1" -r 44100 "${TARGET}"
