Передача переменных из SHELL в AWK

Есть половинное решение в https://superuser.com/a/1106756/632116

Вы можете попробовать подключить новый USB устройство на концентраторе USB, к которому подключена клавиатура. В этой статье говорилось, что это может вернуть клавиатуру в нормальное состояние.

ОБНОВЛЕНИЕ 2017-10

Эта проблема исчезла после того, как я сменил клавиатуру на другую, новую.