merge: Merge main

2023-02-17 13:05:01 +01:00
parent 37aaf5e5b2
commit b2ba0377b7
2 changed files with 3 additions and 2 deletions
@@ -24,6 +24,7 @@ _key_input() {
    fi

    local input="${a}${b}"
+    # shellcheck disable=SC1087
    case "$input" in
        "$ESC[A") echo up ;;
        "$ESC[B") echo down ;;