diff options
| -rwxr-xr-x | scripts/sdev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/sdev b/scripts/sdev index c573cd7..c53ce93 100755 --- a/scripts/sdev +++ b/scripts/sdev @@ -23,7 +23,7 @@ err() { } get_id() { - if ! dev=$(xinput list --name-only | grep -m1 "${1}" ); then + if ! dev=$(xinput list --name-only | grep -i -m1 "${1}" ); then err "${0}: Couldn't get device" fi id="${dev#∼ }" |