Как сохранить вкладки в Gnome terminal

четверг, 27 сентября 2012 г.

Привык держать открытыми несколько вкладок терминала с определенными рабочими директориями. Открывать вкладки и переходить в нужные директории каждый раз после перезапуска терминала утомительно. К счастью, gnome-terminal позволяет настроить, сколько и каких вкладок надо открыть при запуске. К несчастью, настройка не самая предсказуемая (лично мне пришлось покопаться, пока дошел до решения).
И так, идея в том, чтобы при запуске терминала указать ему путь к конфигурационному файлу, описывающему открываемые окна и вкладки. 
*На самом деле, наверняка есть дефолтный файл для этих настроек, но я его не нашел. Подскажите, если знаете.
gnome-terminal --load-config=/home/user/.gconf/apps/gnome-terminal/tab.config
Если такого файла у вас нет, не пугайтесь - его и не должно быть. Чтобы его сгенерировать, выполните команду:
gnome-terminal --save-config=/home/user/.gconf/apps/gnome-terminal/tab.config
Эта команда сгенерирует файл в соответствии с открытыми на данный момент окнами и вкладками терминала. Вот пример такого файла:
#Written by GNOME Terminal 2.30.2

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

[Window0]
MenubarVisible=true
Role=gnome-terminal-window-1861-1806386741-1348468775
Maximized=true
ActiveTerminal=Terminal0x8622ad8
Geometry=158x54+0+24
Terminals=Terminal0x8334d28;Terminal0x8622ad8;Terminal0x83ef9e8;

[Terminal0x8334d28]
ProfileID=Default
WorkingDirectory=/home/user/
Zoom=1
Width=158
Height=54
Title=Home

Названия параметров говорят сами за себя и не требуют объяснения.

0 коммент. :: Как сохранить вкладки в Gnome terminal

Отправить комментарий

Ваше мнение мне искренне интересно. Смелее!

Технологии Blogger.