Parece que deve ser uma tarefa trivial, mas não ... é fácil encontrar respostas muito diferentes para essa pergunta, que envolvem mudanças longas na configuração e não obtêm nada.
Existe uma solução simples?
eu uso o Unity
Não deseja remapear a tecla Super para a tecla Ctrl : (