Вы можете создать ppa на панели запуска или создать свой собственный apt-репозиторий на своем собственном сервере. Рецепт создания репозитория apt можно найти здесь.
dconf write /org/gnome/mutter/overlay-key "'Alt_R'"
или gsettings set org.gnome.mutter overlay-key 'Alt_R'
Вы можете отключить его, выполнив:
gsettings set org.gnome.mutter overlay-key ""