From 12899773efb96b1828198edec0c72f1e32bc0bdd Mon Sep 17 00:00:00 2001 From: "Louwrentius@gmail.com" Date: Wed, 28 Dec 2011 23:11:24 +0000 Subject: [PATCH] Edited wiki page Example_script through web user interface. --- wiki/Example_script.wiki | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/wiki/Example_script.wiki b/wiki/Example_script.wiki index b600390..86bc0b8 100644 --- a/wiki/Example_script.wiki +++ b/wiki/Example_script.wiki @@ -16,19 +16,9 @@ This is the code. SRC="$1" DEST="$2" - -TYPE=`file -b "$SRC"` -RES=`echo "$TYPE" | grep "WAVE audio"` -if [ ! "$?" == "0" ] -then - echo "File $FILE is not a wav file..." - echo "Type is $TYPE" - exit 0 -fi - BASENAME=`basename "$SRC"` MP3FILE="`echo ${BASENAME%wav}mp3`" lame --quiet --preset insane "$SRC" "$DEST/$MP3FILE" exit "$?" -}}} +}}} \ No newline at end of file