Ubuntu
gnome-shell package

  1. Bug #1245473
  2. Comment #291

Comment 291 for bug 1245473

Revision history for this message
Norbert (nrbrtx) wrote :

Just a silent reminder: I have created a PPA ( https://launchpad.net/~nrbrtx/+archive/ubuntu/xorg-hotkeys ) with patched packages for Ubuntu 16.04 LTS (xenial, with HWE) and upwards (including upcoming 19.10), use its description for instructions.