bin/: Upgrade debian to D9 "stretch"

Replace mplayer/gmplayer/smplayer with mpv.

diff --git a/bin/gmplay b/bin/gmplay
deleted file mode 120000 (symlink)
index 015dece89ffe1ce013de623e0f12633352927380..0000000000000000000000000000000000000000
--- a/bin/gmplay
+++ /dev/null
@@ -1 +0,0 @@
-mplay
\ No newline at end of file

diff --git a/bin/gmplay b/bin/gmplay
new file mode 100755 (executable)
index 0000000000000000000000000000000000000000..578b322bb1f8981e620aaa0d9e1977f0bc6561e4
--- /dev/null
+++ b/bin/gmplay
@@ -0,0 +1,2 @@
+#! /bin/sh
+exec mplay --player-operation-mode=pseudo-gui "$@"

diff --git a/bin/mplay b/bin/mplay
index 47862336c1160fca832e8992cec23b7c290c5a63..613aeffb59d216170c34943988f14e781362a733 100755 (executable)
--- a/bin/mplay
+++ b/bin/mplay
@@ -7,7 +7,7 @@ if [ "$DISPLAY" ]; then
    xset -dpms s off) &
 fi
 
-cgmem_nice 500 "`basename $0`"er $options "$@"
+cgmem_nice 500 mpv $options "$@"
 
 if [ "$DISPLAY" ]; then
    cd "$HOME"