Терминал GNOME> конфигурация загрузки> не работает правильно после обновления 16,04

Та команда ниже хорошо работавшего на Ubuntu 14.04. После обновления 16,04 это больше не работает. Это открывает окно терминала с 4 вкладками.

открытый-terminals.sh

#!/bin/bash
gnome-terminal --load-config=terminal-config.cfg &>/dev/null &

терминал-config.cfg

#Written by GNOME Terminal 3.6.2

[GNOME Terminal Configuration]
Version=1
CompatVersion=1
Windows=Window0;

[Window0]
MenubarVisible=true
Role=gnome-terminal-window-6355-887453268-1466588933
ActiveTerminal=Terminal0xed4f70
Geometry=135x24+437+495
Terminals=Terminal0xe04970;Terminal0xc1f520;Terminal0xe4f060

[Terminal0xe04970]
ProfileID=Default
Title=am.example.com
WorkingDirectory=/home/.../servers/apache-tomcat-am/bin
Zoom=1
Width=135
Height=24

[Terminal0xc1f520]
ProfileID=Default
Title=web.example.com
WorkingDirectory=/home/.../servers/apache-tomcat-web/bin
Zoom=1
Width=135
Height=24

[Terminal0xe4f060]
ProfileID=Default
Title=middleware.example.com
WorkingDirectory=/home/.../servers/payara-middleware/bin
Zoom=1
Width=135
Height=24

[Terminal0xed4f70]
ProfileID=Default
Title=api.example.com
WorkingDirectory=/home/.../servers/glassfish-api/bin
Zoom=1
Width=135
Height=24

Сначала я получил a "Error creating terminal: "Default" is not a valid UUID" error. Я зафиксировал его так, чтобы я поместил реальный uuid в ProfileIDs.

Следующая ошибка, что я получил, была "Error creating terminal: No profile with UUID "e4661004-d5fd-4d17-9a9d-8e419b6b8330" exists". Я зафиксировал его так, чтобы я изменил значение Терминалов в [Window0] к ProfileIDs.

Следующая проблема: свойства Title и WorkingDirectory не применяются, и я просто понял, что "переименовывают вкладку" меню, исчезается из меню.

Терминал GNOME

3.18.3

Эмулятор терминала для рабочего стола GNOME

Используя версию 0.42.5 VTE +GNUTLS

Вы могли помочь мне устранить эту проблему?

обновление

gnome-terminal --save-config=~/temp/xyz.cfg говорит это Option "--save-config" is no longer supported in this version of gnome-terminal.

Что это? То, каков альтернативный путь, должно сделать то же с новой версией терминала гнома? Я не нашел никого полезным об этой теме в Интернете :(

4
задан 5 August 2016 в 02:26

2 ответа

Та же проблема.

На моем компьютере параметр командной строки --tab-with-profile принятое значение "Значение по умолчанию", в то время как --load_config не сделал (проверяют тег <entry name="visible_name"> в файл ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml или используют настройки профиля GUI).

, Таким образом, я преобразовал важные значения от файла конфигурации до параметров командной строки. Можно использовать следующий код для установки:

gnome-terminal --geometry="135x24+437+495" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/apache-tomcat-am/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/apache-tomcat-web/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/payara-middleware/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/glassfish-api/bin"

, К сожалению, я не нашел, как установить заголовки вкладки этот путь.

, Но в конце существуют конфеты. Можно использовать --command для каждой вкладки и выполнения, например, mc. Это было невозможно с файлом конфигурации.

1
ответ дан 1 December 2019 в 10:36

У меня есть та же проблема. Частично фиксация должна прокомментировать все строки, где

ProfileID=Default

... она предоставляет загрузке все Ваши вкладки из конфигурации, сохраненной прежде. Но проблема имени вкладки должна быть устранена (я проверил --help & --help-all - не нашли корректное свойство для заголовка вкладки)

, Другой способ иметь текущие исправления состоит в том, чтобы заменить ProfileID name значение с id значение. Id значение может быть проверено в Edit-> Profile parameters-> General-> profile ID.

0
ответ дан 1 December 2019 в 10:36

Другие вопросы по тегам:

Похожие вопросы: