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

SOURCE=`echo "$1" | sed "s? ?\\\\\\ ?g" | sed "s?&?\\\\\\&?g"`
TARGET=`basename "$SOURCE" ogg`wav
ogg123 -d wav -f "${TARGET}" "$1"

