annotate TOOLS/mpconsole @ 25661:293aeec83153

Replace the persistent CODECS_FLAG_SELECTED by a local "stringset" with an almost-trivial implementation. This allows making the builtin codec structs const, and it also makes clearer that this "selected" status is not used outside the init functions.
author reimar
date Sat, 12 Jan 2008 14:05:46 +0000
parents a818bbab1525
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4204
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
1 #!/bin/sh
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
2 # Script to run mplayer on the console (fbdev/mga_vid/etc) without
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
3 # the console text and/or flashing cursor getting in the way.
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
4 # Written by Rich Felker.
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
5
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
6 trap "tput cnorm ; exit 1" SIGQUIT SIGINT EXIT
7696
a818bbab1525 Fix usage for common users that may not have fbset in their path.
diego
parents: 4204
diff changeset
7 res=`PATH="$PATH:/usr/sbin" fbset | grep geometry | sed 's/^ *//'`
4204
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
8 width=`echo "$res" | cut -d' ' -f2`
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
9 height=`echo "$res" | cut -d' ' -f3`
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
10 tput civis
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
11 clear
a451ba84410d console mplayer launcher - by Rich Felker <dalias@aerifal.cx>
arpi
parents:
diff changeset
12 mplayer -vo mga -screenw "$width" -screenh "$height" "$@" >/dev/null 2>&1