No meu sistema Debian, eu personalizei meus atalhos de teclado do Gnome (Shell), em Configurações do sistema> Teclado> Atalhos. Onde encontro o arquivo com essas configurações para poder copiá-lo em uma unidade flash para backup e usá-lo para substituir os atalhos de teclado em outros...