search for available audioplayer

[micropolis] / res / sounds / player

diff --git a/res/sounds/player b/res/sounds/player
new file mode 100755 (executable)
index 0000000..7784940
--- /dev/null
+++ b/res/sounds/player
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+PLAYER=true
+
+if [ -x "`which aplay`" ]; then
+       PLAYER=aplay
+elif [ -x "`which play`" ]; then
+       PLAYER=play
+elif [ -x "`which mplayer`" ]; then
+       PLAYER="mplayer -nogui -nocache"
+fi
+
+exec ${PLAYER} "$@" >/dev/null 2>&1