# HG changeset patch
# User ranma
# Date 1035388184 0
# Node ID d151608b9f282c3ff4469e0c8595df5994ef49cf
# Parent  dacc35bc92c7e01fbb82e1568576ce62a9e1176b
Add convenience wrapper for mplayer -identify

diff -r dacc35bc92c7 -r d151608b9f28 TOOLS/midentify
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TOOLS/midentify	Wed Oct 23 15:49:44 2002 +0000
@@ -0,0 +1,5 @@
+#!/bin/sh
+mplayer -identify "$@" 2>/dev/null |
+	grep "^ID" |
+	sed -e 's/[`\\!$"]/\\&/g' |
+	sed -e '/^ID_FILENAME/ { s/^ID_FILENAME=\(.*\)/ID_FILENAME="\1"/g; }'