On Wed, Dec 04, 2019 at 03:03:56PM +0100, Stephan Seitz wrote: > On Mi, Dez 04, 2019 at 01:06:56 +0000, Steve Kemp wrote: > > I personally use `xbindkeys`. Configure it to be launched as > > Hm: > [stse@osgiliath]: apt-file search xbindkeys > :-( > [04.12.19 15:01] ~ > > Which package? > You may need to run 'sudo apt-file update' since apt-file uses a separate, and far larger, cache. Try 'apt-cache search xbindkeys' instead.
Regards, -Roberto -- Roberto C. Sánchez
