diff options
| author | Jochen Sprickerhof <git@jochen.sprickerhof.de> | 2022-10-29 07:48:35 +0200 |
|---|---|---|
| committer | Jochen Sprickerhof <git@jochen.sprickerhof.de> | 2023-02-25 07:45:46 +0100 |
| commit | 887662597b9a5db113303bfc13121fcffa446190 (patch) | |
| tree | 992d56741c20527719bcd05da06de0216bc37b9b | |
| parent | 4f5ed2ab1256af9b41a94091cdea5cf7c2eaa341 (diff) | |
| download | anypinentry-887662597b9a5db113303bfc13121fcffa446190.tar.gz anypinentry-887662597b9a5db113303bfc13121fcffa446190.zip | |
Use case insensitive variable in get_info()
| -rwxr-xr-x | anypinentry | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/anypinentry b/anypinentry index 6eab83e..438259c 100755 --- a/anypinentry +++ b/anypinentry @@ -66,7 +66,7 @@ save_option() { get_info() { arg=$(echo "$1" | tr a-z A-Z) - case "$1" in + case "$arg" in VERSION) echo "D $VERSION" && echo "OK" ;; PID) echo "D $$" && echo "OK" ;; *) com_error ;; |