diff options
author | greg@kroah.com <greg@kroah.com> | 2004-10-15 19:18:58 -0700 |
---|---|---|
committer | Greg KH <gregkh@suse.de> | 2005-04-26 22:02:45 -0700 |
commit | 29afcc5f111f780869a7b091600b106136e11b6d (patch) | |
tree | e33668d1a1ee14caff23c37cfe6880d2f74ad916 | |
parent | [PATCH] add debian config files. (diff) | |
download | systemd-29afcc5f111f780869a7b091600b106136e11b6d.tar.gz systemd-29afcc5f111f780869a7b091600b106136e11b6d.tar.bz2 systemd-29afcc5f111f780869a7b091600b106136e11b6d.zip |
[PATCH] add some helper scripts for dvb and input devices.
-rw-r--r-- | extras/dvb.sh | 3 | ||||
-rw-r--r-- | extras/inputdev.sh | 30 |
2 files changed, 33 insertions, 0 deletions
diff --git a/extras/dvb.sh b/extras/dvb.sh new file mode 100644 index 000000000..b14a6d0d7 --- /dev/null +++ b/extras/dvb.sh @@ -0,0 +1,3 @@ +#!/bin/sh -e +echo $1 | sed -e 's#^dvb\([0-9]\)\.\([^0-9]*\)\([0-9]\)#dvb/adapter\1/\2\3#' +exit 0 diff --git a/extras/inputdev.sh b/extras/inputdev.sh new file mode 100644 index 000000000..82e4fdc37 --- /dev/null +++ b/extras/inputdev.sh @@ -0,0 +1,30 @@ +#!/bin/sh -e +# +# Scans /proc/bus/input/devices for the given device. +# +# (c) 2004 Darren Salt <linux@youmustbejoking.demon.co.uk> +# GPL v2 or later applies. + +[ "$1" ] || exit 0 + +# input device name, less leading "input/" +DEVICE=${1#input/} + +# "|"-separated list. +# The first found in the given device's "N:" line will be output. +DEFAULT_KEYWORDS='dvb|saa7134' +KEYWORDS=${2:-$DEFAULT_KEYWORDS} + +exec sed -nre ' + /^I:/ { + : gather + N + /\nH:/! b gather + /'"$DEVICE"'/ { + s/^.*\nN:[^\n]*("|\b)('"$KEYWORDS"')("|\b)[^\n]*\n.*$/inputdev/ + T + p + } + } +' < /proc/bus/input/devices + |