Original commit message from CVS:
Fix launch so that it can play a list of files, now that EOS works enough.
(It needs to not have to restart gstreamer each time, but good enough for
now ;-) )
-#/usr/bin/sh
-gstreamer-launch disksrc "location=$1" ! mp3parse ! mpg123 ! audiosink
+#! /bin/sh
+for loc in "$@"; do
+gstreamer-launch disksrc "location=$loc" ! mp3parse ! mpg123 ! audiosink
+done
-#/usr/bin/sh
-gstreamer-launch disksrc "location=$1" ! mp3parse ! mpg123 ! audiosink
+#! /bin/sh
+for loc in "$@"; do
+gstreamer-launch disksrc "location=$loc" ! mp3parse ! mpg123 ! audiosink
+done