Сохранить несколько макетов терминала gnome?

19008
Abhinav

У меня открыто несколько окон терминала gnome. Есть ли способ сохранить настройки (положение окна, количество вкладок, заголовок и т. Д.). через ОС перезагружается?

24

6 ответов на вопрос

16
Abhinav

Я нашел следующие варианты, которые полезны:

--load-config=FILE Load a terminal configuration file --save-config=FILE Save the terminal configuration to a file 

Вышеуказанное восстанавливает соответствующее количество окон терминала gnome с соответствующими вкладками, но положение и заголовок окна не восстанавливаются. Все же, начало :)

Положение и размер окна были сохранены, когда я только что попробовал эти команды с gnome-терминал 3.6.1 - Linux Mint 15 с Cinnamon в этом случае - что делает это немного более полезным. (Спасибо!) David Duncan 11 лет назад 0
Опция --save-config была удалена из gnome-терминала как «устаревшая» с (по крайней мере) 3.10.2. srking 10 лет назад 5
@ прогресс прогресса! drs 10 лет назад 0
10
leif81

После того, как ваш gnome-терминал сконфигурирован так, как вам нравится (т. Е. Количество вкладок, открытых для определенных каталогов), сохраните состояние сеанса из окна gnome-терминала с помощью следующей команды:

gnome-терминал --save-config = mytabs

Затем я создаю на панели панель собственного запуска приложений, который выполняет следующую команду

gnome-терминал --load-config = / home / leif / mytabs

Этот вид работает, но он не сохраняет результаты предыдущих команд, поэтому я не могу прокрутить вверх и посмотреть, что я сделал. samthebest 10 лет назад 0
@samthebest Да, он только сохраняет и восстанавливает текущий рабочий каталог каждой вкладки, а не историю прокрутки. leif81 10 лет назад 0
2
quack quixote

Вы можете создавать профили для Gnome-Terminal из Edit Profilesдиалогового окна под Editменю. Чтобы запустить Gnome-Terminal с определенным профилем, вы должны сделать это:

gnome-terminal --window-with-profile=<profile_name> 

Естественно, вы можете настроить разные значки запуска для автоматического запуска разных профилей или включить строки в скрипт запуска X-сеанса для запуска нескольких разных терминалов, каждый с разным профилем, при входе в систему. Различные опции могут быть объединены в значке модуля запуска, чтобы дать вам один конкретный тип терминала, и вы можете создать столько модулей запуска, сколько вам нужно, для различных типов терминалов.

Другие параметры командной строки могут быть полезны, чтобы получить именно тот эффект, который вы хотите, если механизм профиля недостаточно детализирован для вас. Смотрите подробности man gnome-terminalв вашей системе, но вот несколько советов по обсуждению на форуме Ubuntu :

# define a terminal 100 columns by 20 lines --geometry=100x20  # set the titlebar --title=irssi  # run a particular program --execute irssi 
Это близко, но интересно, можно ли добиться того, чего я хочу, легче. У меня уже есть профили и открытые окна. Есть ли какое-то состояние сеанса для каждого терминала gnome, которое я могу сохранить, а затем «загрузить / запустить» в любое время, чтобы все, что я сохранил, вступило в силу? Abhinav 15 лет назад 1
Возможно что-то в .gconf? Abhinav 15 лет назад 0
я боюсь, что это степень моего знания; Я не был пользователем Gnome уже пару лет. quack quixote 15 лет назад 0
0
3498DB

Положение окна:

gnome-terminal --geometry=115x30+0+670 
0
Martin

I use a two-step approach with my xfce-terminal. First I open the windows:

xfce4-terminal --hide-menubar --hide-borders --hide-toolbars -e htop -T hTop 

and then move them with wmctrl:

wmctrl -r 'hTop' -t 3 wmctrl -r 'hTop' -e 0,927,33,1000,550 
0
Manish

gnome-terminal --save-config и --load-config являются хорошими вариантами, хотя, чтобы сделать это полным доказательством, я использовал следующий скрипт: скрипт работает медленно, но работает для меня. 1. save-terminals.sh

FILE=$1 gnome-terminal --save-config=$FILE  LINES=($(grep -n '\[Terminal' $FILE | cut -d: -f1)) echo $LINES for ((i=0; i<$(grep '\[Terminal' $FILE | wc -l); i++)) do TITLE=$(xprop -id $WINDOWID WM_NAME | sed -e 's/WM_NAME(STRING) = "//' -e 's/"$//';xdotool key ctrl+Right;) echo $TITLE sed -ri "$(($+$i))s/.*/&\nTitle=$TITLE/" /tmp/test done 

2. load-terminals.sh

FILE=$1 LINES=$(grep '\[Terminal' $FILE | wc -l) TITLE=($(grep -n '\Title' $FILE | cut -d= -f2)) gnome-terminal --load-config=$FILE for ((i=0; i<$LINES; i++)) do xdotool key Ctrl+Right xdotool key "Return" sleep 1 xdotool key Alt+t sleep 1 xdotool key s sleep 1 xdotool type $ xdotool key "Return" xdotool key "Return" sleep 1 done xdotool key Alt+Tab xdotool key Shift+Ctrl+Q xdotool key "Return" 

Сны предназначены, потому что если он будет двигаться быстро, он потеряет след. Также вам нужно установить xdotool. Создайте псевдоним в .bashrc как

alias st='save-terminals.sh ~/.terminal.cfg' alias lt='load-terminals.sh ~/.terminal.cfg' 

надеюсь, это поможет

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