Debian package issue about gromit-mpx

[russel]

It transpires the Debian packager switched the hotkey to Pause for consistency with the gromit package and because he and many others have F9 and F10 bound associated with GNOME Shell or something.

[bk138]

Hm, Barak should maybe document this ;-)

[russel]

He has suggested that perhaps he should. :-) In the interim I have clone this Git repository and build a version for myself. Not an ideal long-term position, but works for now. Well hopefully works on Monday when I need it to.

Thanks.

[barak]

You know you can just invoke gromit-mpx --key F9 to tell it to use F9 as the hotkey, regardless of the default? No need to recompile.

In any case, I've patched the debian man page with the modified default hotkey, should be in debian unstable now.

[russel]

On Fri, 2013-11-22 at 04:49 -0800, Barak A. Pearlmutter wrote:

You know you can just invoke gromit-mpx --key F9 to tell it to use F9 as the hotkey, regardless of the default? No need to recompile.

Indeed, but I was trying to simplify life without a shell script or
alias and learn a bit about how it was all being done by reading the
source code at the same time.

In any case, I've patched the debian man page with the modified default hotkey, should be in debian unstable now.

Sponditious. I'll pick it up as soon as I sync up next after it has
synced up.

Thanks for the speedy response, it is much appreciated.

Russel.

Dr Russel Winder t: [phone] voip: sip:[email protected]
41 Buckmaster Road m: [phone] xmpp: [email protected]
London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder

[barak]

The "right thing" would probably be to try to read a per-user configuration file. and use the default only if there is no --key option on the command line and it is not specified in said configuration file.

I suppose actually it should read a global configuration file from /etc/, and then the user configuration file, so it can also be set system-wide.

Patches welcome.