Sick of manual GUI twiddling to fix inconsistent keybindings on various computers. Solved once and for all, by a new script in my personal workstation setup bucket: Warning: This: works great on RHEL, doesn’t all work on Ubuntu