Depois de alguns meses, cheguei a uma solução que gosto.
- No Mac, acostumei-me ao fato de que existem três modificadores principais: Cmd, Ctrl, Opt.
- Na caixa do Linux, eu uso o mesmo teclado kinesis e tenho o mesmo layout para os modificadores, de tal forma que eu mapeio:
Mac => Linux CMD == Ctrl Opt == Alt Ctrl == Ctrl
A chave era ter o ctrl duas vezes. E então eu me acostumei com as diferenças entre cmd e ctrl no mac, e no PC, funcionou que ctrl é a chave. Por exemplo:
no Chrome:
Ctrl-tab on the Mac ==> Ctrl-tab on Linux
Cmd-C on the Mac ==> Ctrl-c on Linux.
Então eu posso acertar duas chaves diferentes no Linux e obter o mesmo resultado que o Mac.
Se você tem um teclado do tipo windows, você pode remapear algo como a tecla especial do windows para ser a tecla de comando mac.
Desde então, mudei para apenas usar um Mac e, sem dúvida, é muito mais eficiente para a digitação por toque!