Если вы хотите изменить это только в терминале Gnome, вы можете нажать «Редактировать»> «Ярлыки клавиш» в терминале.