diff options
| author | Suleyman Farajli <suleyman@farajli.net> | 2024-09-29 14:08:24 +0400 |
|---|---|---|
| committer | Suleyman Farajli <suleyman@farajli.net> | 2024-09-29 14:08:24 +0400 |
| commit | b444b93cb09b2a38cdc4056d5f7ca31872b0c8a8 (patch) | |
| tree | 9af57dadd83aed373155c20dcdd3760f593701ed | |
| parent | b951d00afe2e969439b17fb771567ff85bfbce5e (diff) | |
sdev: searches case insensitively
| -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#∼ }" |