]> git.zerfleddert.de Git - micropolis/blob - res/sounds/player
7784940d8eb5ef608f5b49d87dabef459f2673be
[micropolis] / res / sounds / player
1 #!/bin/sh
2
3 PLAYER=true
4
5 if [ -x "`which aplay`" ]; then
6 PLAYER=aplay
7 elif [ -x "`which play`" ]; then
8 PLAYER=play
9 elif [ -x "`which mplayer`" ]; then
10 PLAYER="mplayer -nogui -nocache"
11 fi
12
13 exec ${PLAYER} "$@" >/dev/null 2>&1
Impressum, Datenschutz