Если я сделаю это
gnome-terminal --profile=NEW_PROFILE
он действительно меняется на новый профиль, но открывает новое окно. Но я хочу, чтобы это изменило профиль текущей вкладки, а не всплыло новое окно.
Если я иду через GUI, как предложено в документации по GNOME
Нажмите на вкладку терминала с вкладками, для которого вы хотите изменить профиль.
Выберите Терминал ▸ Изменить профиль name имя профиля.
это прекрасно работает.
Просто интересно, как получается, что для этого нет эквивалента в командной строке.