Предположительно, тот, кто отвечает за ярлыки, в новом питоне потерял их.
Чтобы это исправить:
Сначала отключите существующую комбинацию команд/клавиш с помощью команды:
gsettings set org.gnome.settings-daemon.plugins.media-keys terminal ""
Что сделает CTRL + ALT + T снова «доступными» для другой команды.
Теперь откройте настройки клавиатуры. :Системные настройки > «Клавиатура» > «Ярлыки» > «Пользовательские ярлыки». Нажмите «+» и добавьте команду:
gnome-terminal --window-with-profile=<profilename>
- CTRL + ALT + T ,где <profilename>
название вашего профиля, скорее всегоDefault