В меню «Терминал» внутри терминала gnome у меня есть опция «Изменить профиль». Для чего это? И почему он отключен?
Чтобы добавить немного к ответу @Salih Emin, если вы еще не создали хотя бы второй профиль, переключать нечего, поэтому функция «Изменить профиль» отключена.
Профиль - это просто предустановка того, как должен вести себя ваш терминальный сеанс. Вы можете создать профиль, скажем, для работы ночью, добавив несколько разных цветов на выход терминала, если хотите, вы можете использовать разные шрифты и т. Д.