mac os x exporting shortcuts

Kornel Benko kornel at
Tue Apr 28 13:17:51 UTC 2020

Am Tue, 28 Apr 2020 14:27:50 +0200
schrieb Salvatore Modica <salvatore.modica at>:

> I would like to export shortcuts to another computer, but I should know
> where they are stored - which I don't.
> Can you tell me?
> Many thanks
> Salvatore

Your own shortcuts are in userdir/bind/user.bind.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <>

More information about the lyx-users mailing list