annotate TOOLS/mpconsole.sh @ 36660:7fd255e0db1b

stream.c: remove pointless NULL check. Since it currently is a fixed-size array it can never be NULL. But even if this was changed, this check has no real value: it should still only be possible in case of an obvious code bug during development and the crash it would cause would be easy enough to debug.
author reimar
date Sun, 26 Jan 2014 18:59:15 +0000
parents 305dc504c407
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
27198
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
1 #!/bin/sh
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
2 # Script to run mplayer on the console (fbdev/mga_vid/etc) without
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
3 # the console text and/or flashing cursor getting in the way.
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
4 # Written by Rich Felker.
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
5
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
6 trap "tput cnorm ; exit 1" SIGQUIT SIGINT EXIT
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
7 res=`PATH="$PATH:/usr/sbin" fbset | grep geometry | sed 's/^ *//'`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
8 width=`echo "$res" | cut -d' ' -f2`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
9 height=`echo "$res" | cut -d' ' -f3`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
10 tput civis
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
11 clear
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
12 mplayer -vo mga -screenw "$width" -screenh "$height" "$@" >/dev/null 2>&1