Linux Mint 12: не удается создать профили gnome-терминала

Question

Я пытаюсь настроить некоторые профили терминала gnome, чтобы при запуске gnome-терминала у меня был предварительно настроенный набор вкладок. Ранее я добился этого, перейдя в Edit => Profiles ... (в gnome-терминал), добавив новый профиль, а затем используя gnome-terminal --tab-with-profile=ThatProfile .

Тем не менее, это не работает на моем новом (Linux Mint 12) окне. Я могу создавать профили очень хорошо, но когда я пытаюсь запустить их с --tab-with-profile, я получаю сообщение об ошибке «Нет такого профиля" test ", используя профиль по умолчанию». Если я затем проверю ~/.gconf/apps/gnome-terminal/profiles profile, то, конечно, единственный указанный профиль - Default.

Таким образом, кажется, что gnome-терминал где-то создает профили, потому что созданные мной профили отображаются в самом gnome-терминале. Тем не менее, они не создаются в ~/.gconf/apps/gnome-terminal/profiles , и они не создаются там, где gnome-терминал фактически ищет профили (когда вы используете --tab-with-profile),

Кто-нибудь знает, что происходит?

.................................................

Answer 1

У меня нет четкого представления о том, что происходит, но я предполагаю, что между некоторыми частями программного обеспечения терминала gnome происходит некоторое несоответствие. Это может быть решено в более поздних выпусках.

Вы можете попробовать найти профили по имени по всему диску. Если найдено, вы можете скопировать их вручную в папку профилей.

Мне также интересно, работает ли «Терминал> Изменить профиль» с вашими профилями. Если это работает, то ошибка в параметре tab-with-profile.

Если вопрос здесь не решен, возможно, вы также можете задать его на форумах Linux Mint.