В моем Ubuntu gnome было 3.9.90
, я добавил Gnome 3.12
ppa через:
sudo add-apt-repository ppa:gnome3-team/gnome3-staging
Теперь я делаю dist-upgrade
и потерял сочетание клавиш ctrl + alt + t для терминала
можно изменить сочетания клавиш в параметрах настройки системы. перейдите в:
параметры настройки системы-> клавиатура-> ярлыки