diff options
| author |  Dieter Plaetinck <dieter@plaetinck.be> | 2009-09-03 19:44:21 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-09-03 19:44:21 +0200 |
| commit | 499951e3d148d5199e1c86a6bf5c82bef0e54e6a (patch) | |
| tree | 4db10a92e39d1d6446bee76f908582de5a6b61ac /examples | |
| parent | b04492700c40837bbae771c53ba2aafaadcd3a65 (diff) | |
prefix events with "EVENT " for easier filtering
Diffstat (limited to 'examples')
| -rwxr-xr-x | examples/data/uzbl/scripts/dispatcher.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/data/uzbl/scripts/dispatcher.sh b/examples/data/uzbl/scripts/dispatcher.sh index e3e2706..0e9ba6b 100755 --- a/examples/data/uzbl/scripts/dispatcher.sh +++ b/examples/data/uzbl/scripts/dispatcher.sh @@ -32,6 +32,10 @@ clear_modifiers() { } while read EVENT; do + if [ "$(echo $EVENT | cut -d ' ' -f 1)" != 'EVENT' ]; then + continue; + fi + EVENT="`echo $EVENT | sed 's/^EVENT //'`" # get eventname ENAME=`echo "$EVENT" | sed -ne 's/\([A-Z]*\) .*/\1/p'` |