Как изменить название Gnome-Terminal?

Question 1

Вы можете установить его с помощью Wine, но он действительно нестабилен.

Question 2

Ответ Уорда велик, если вы хотите установить свой заголовок на основе того, на каком хосте вы находитесь и т. д. каждый раз, когда вы открываете терминал. Если вы просто хотите быстро установить заголовок, вы можете просто запустить echo самостоятельно:

echo -ne "\033]0;SOME TITLE HERE\007"

или создать простой скрипт bash, скажем termtitle

#!/bin/bash

echo -ne "\033]0;${1}\007"

который вы можете запустить с помощью termtitle "some title here"

Question 3

Question 4

Если вы используете редактор Vim, вы также можете включить этот параметр в своем vimrc:

:set title

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

Question 5

Для полноты я добавил бы, что вы также можете установить заголовок gnome-terminal с помощью этой команды:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Сначала вам нужно установить пакет wmctrl. [!d1 ]

Question 6

Argh, так много ответов ...

Я пробовал wmctrl, который почти сработал, за исключением того, что я не мог заставить его изменить заголовок значка, по крайней мере, навсегда.

решение - это то, что PS1 в ubuntu устанавливает заголовок.

По умолчанию PS1 является

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$

... который устанавливает заголовок в первой escape-последовательности.

[d6 ] Таким образом, есть два решения:

Решение 1: упростить PS1, затем использовать PROMPT_COMMAND

Изменить PS1 на что-то более простое:

PS1="\u@\h:\w\$ "

... затем используйте PROMPT_COMMAND:

PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'

Решение 1: упростите PS1, затем используйте PROMPT_COMMAND

Просто измените PS1 с новым заголовком:

[ f4]

Question 7

Question 8

Если вы пользователь Ubuntu, вы можете изменить заголовок вкладки gnome-terminal с помощью HUD.

Находясь в гном-терминале, нажмите Alt, чтобы открыть HUD, введите первые несколько букв, например. «tit», нажмите enter и введите новый заголовок.

Это очень быстрый метод и позволяет избежать использования мыши.

Question 9

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Question 10

Другим решением является использование xdotool для имитации нажатий клавиш, возможно, полезно в скриптах:

Установите комбинацию клавиш в gnome-terminal:

Edit > Keyboard Shortcuts... > Terminal > Set Title

Например, чтобы определить Shift+Ctrl+Y. Установите xdotool, если у вас его еще нет:

sudo apt-get install xdotool

Следующая последовательность команд (которую вы также можете использовать в сценарии bash) установит заголовок терминала / вкладки (выйдите из пробелов с помощью \): [ f3] [необязательно] Вы также можете использовать xdotool, например откройте новую вкладку и задайте заголовок с помощью приведенных выше команд, используя:

xdotool key ctrl+shift+t

. Рассмотрите возможность добавления времени сна до и после открытия новой вкладки, например. sleep 1 (ждать 1 секунду).

Это не самое элегантное решение, но это сработало для меня! Предыдущие ответы не были выполнены в моем случае. Я использую gnome-terminal в Ubuntu 14.04, и я хотел создать сценарий bash.

Question 11

Чтобы отобразить только текущий рабочий каталог в названии, попробуйте это в своем «.bashrc»:

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

или

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"'

Question 12

В случае, если любые плохие души, подобные мне, вынуждены использовать tcsh, попробуйте что-то подобное в вашем .cshrc:

set prompt='%{\033]0;%n@%m\007%}%~%# '

источнике и более подробной информации: http://tldp.org/HOWTO/ Xterm-Title-4.html

Question 13

Question 14

Это работало в моем терминале Gnome 3.18.3.

Отредактируйте ваш .bashrc-файл и добавьте эту функцию

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

Не забудьте source ваш [d3 ] .bashrc file

$ source ~/.bashrc

И тогда вы можете просто обновить, вы сможете изменить название терминала следующим образом:

$ termtitle "MariaDB CLI"

Question 15

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Question 16

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Question 17

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Question 18

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Question 19

Question 20

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

naught101 · Answer 1 · 25 May 2018 в 23:22

Ответ Уорда велик, если вы хотите установить свой заголовок на основе того, на каком хосте вы находитесь и т. д. каждый раз, когда вы открываете терминал. Если вы просто хотите быстро установить заголовок, вы можете просто запустить echo самостоятельно:

echo -ne "\033]0;SOME TITLE HERE\007"

или создать простой скрипт bash, скажем termtitle

#!/bin/bash

echo -ne "\033]0;${1}\007"

который вы можете запустить с помощью termtitle "some title here"

49

ответ дан naught101 25 May 2018 в 23:22

1

Это ответ, который вы ищете – iondiode 28 April 2016 в 19:09
2

или аналогичным образом мы можем добавить как псевдоним bash, добавив ниже строки в ~ / .bash_aliases function set_title() { echo -ne "\033]0;${1}\007" } alias title=set_title, а затем используйте: $ title term_title – Sumit Murari 22 September 2016 в 09:10
3

Увы, похоже, не работает для меня в терминале 3.6.2 GNOME. – austinmarton 27 January 2017 в 03:36
4

Также не работает в xterm 322 или konsole 16.12 ... Я не знаю, есть ли новый метод, к сожалению :( – naught101 27 January 2017 в 04:49
5

@ 3ocene это в действительности не имеет значения, они одно и то же, но это хорошая привычка входить, потому что, например, $var_log и ${var}_log - очень разные вещи, и разница может вызвать ошибки в скриптах. – naught101 10 September 2017 в 13:50

ulidtko · Answer 2 · 25 May 2018 в 23:22

Если вы используете редактор Vim, вы также можете включить этот параметр в своем vimrc:

:set title

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

naught101 · Answer 3 · 25 May 2018 в 23:22

Для полноты я добавил бы, что вы также можете установить заголовок gnome-terminal с помощью этой команды:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Сначала вам нужно установить пакет wmctrl. [!d1 ]

21

ответ дан naught101 25 May 2018 в 23:22

1

MyWindowTitle не отображается в заголовке терминала. Он появляется, когда я делаю wmctrl -m. – sureshvv 4 August 2015 в 10:24
2

Обратите внимание, что wmctrl изменяет заголовок окна, а не заголовок табуляции, тогда как решение экранированных символов изменяет заголовок табуляции. Кроме того, название окна изменяется на исходное название вкладки, как только вы переключаетесь между вкладками. – redochka 13 November 2015 в 23:32

Hugh Perkins · Answer 4 · 25 May 2018 в 23:22

Argh, так много ответов ...

Я пробовал wmctrl, который почти сработал, за исключением того, что я не мог заставить его изменить заголовок значка, по крайней мере, навсегда.

решение - это то, что PS1 в ubuntu устанавливает заголовок.

По умолчанию PS1 является

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$

... который устанавливает заголовок в первой escape-последовательности.

[d6 ] Таким образом, есть два решения:

Решение 1: упростить PS1, затем использовать PROMPT_COMMAND

Изменить PS1 на что-то более простое:

PS1="\u@\h:\w\$ "

... затем используйте PROMPT_COMMAND:

PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'

Решение 1: упростите PS1, затем используйте PROMPT_COMMAND

Просто измените PS1 с новым заголовком:

[ f4]

привет, мне очень нравится ваш ответ. Не могли бы вы объяснить роль ]0; в вашем коде? Я думаю, что я нашел значение echo -e '\007 \033' с командой ascii -o ... хотя я правдиво не уверен, что это там делает ... спасибо ... — isomorphismes, 10 March 2017 в 15:28

Tom · Answer 5 · 25 May 2018 в 23:22

Если вы пользователь Ubuntu, вы можете изменить заголовок вкладки gnome-terminal с помощью HUD.

Находясь в гном-терминале, нажмите Alt, чтобы открыть HUD, введите первые несколько букв, например. «tit», нажмите enter и введите новый заголовок.

Это очень быстрый метод и позволяет избежать использования мыши.

11

ответ дан Tom 25 May 2018 в 23:22

1

В самом деле. Держит руки на клавиатуре. Отображается существующее название, поэтому быстро и просто также можно изменить существующий, используя этот метод. – Brent Faust 19 December 2013 в 06:39
2

tit предназначен только для английского Ubuntu. – törzsmókus 22 February 2017 в 17:02
3

и вся опция была удалена :( – törzsmókus 22 February 2017 в 17:02
4

клавиша F2 также позволяет избежать мыши. – isomorphismes 10 March 2017 в 15:31

user · Answer 6 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

MakisH · Answer 7 · 25 May 2018 в 23:22

Другим решением является использование xdotool для имитации нажатий клавиш, возможно, полезно в скриптах:

Установите комбинацию клавиш в gnome-terminal:

Edit > Keyboard Shortcuts... > Terminal > Set Title

Например, чтобы определить Shift+Ctrl+Y. Установите xdotool, если у вас его еще нет:

sudo apt-get install xdotool

Следующая последовательность команд (которую вы также можете использовать в сценарии bash) установит заголовок терминала / вкладки (выйдите из пробелов с помощью \): [ f3] [необязательно] Вы также можете использовать xdotool, например откройте новую вкладку и задайте заголовок с помощью приведенных выше команд, используя:

xdotool key ctrl+shift+t

. Рассмотрите возможность добавления времени сна до и после открытия новой вкладки, например. sleep 1 (ждать 1 секунду).

Это не самое элегантное решение, но это сработало для меня! Предыдущие ответы не были выполнены в моем случае. Я использую gnome-terminal в Ubuntu 14.04, и я хотел создать сценарий bash.

Sriram · Answer 8 · 25 May 2018 в 23:22

Чтобы отобразить только текущий рабочий каталог в названии, попробуйте это в своем «.bashrc»:

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

или

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"'

spookypeanut · Answer 9 · 25 May 2018 в 23:22

В случае, если любые плохие души, подобные мне, вынуждены использовать tcsh, попробуйте что-то подобное в вашем .cshrc:

set prompt='%{\033]0;%n@%m\007%}%~%# '

источнике и более подробной информации: http://tldp.org/HOWTO/ Xterm-Title-4.html

RousseauAlexandre · Answer 10 · 25 May 2018 в 23:22

Это работало в моем терминале Gnome 3.18.3.

Отредактируйте ваш .bashrc-файл и добавьте эту функцию

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

Не забудьте source ваш [d3 ] .bashrc file

$ source ~/.bashrc

И тогда вы можете просто обновить, вы сможете изменить название терминала следующим образом:

$ termtitle "MariaDB CLI"

user · Answer 11 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

user · Answer 12 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

user · Answer 13 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

user · Answer 14 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

user · Answer 15 · 25 May 2018 в 23:22

Другой способ изменения названия gnome-terminal заключается в использовании gconftool-2; это изменяет начальный заголовок терминала для выбранного профиля, поэтому у вас могут быть разные профили, связанные с титрами, такими как «Apache», «Редактирование» и т. д. Затем вы запускали gnome-terminal с соответствующим профилем, чтобы получить название терминала, которое у вас было указано. Это контрастирует с gnome-terminal --title "name", который изменяет заголовок на терминал, но не влияет на начальный заголовок, указанный в профиле.

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

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Это для профиля по умолчанию, но вы можете установить заголовок для других профилей, изменив, например, Default на другой профиль, такой как Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Я думал, что этот способ изменения названия полезен из-за того, используемый в сценариях, или просто как быстрый способ командной строки для установки заголовка для профиля. Обратите внимание, что иногда вам нужно перезапустить терминал с указанным профилем для параметра gconftool-2, чтобы он повлиял. Полные настройки, доступные для gnome-terminal, можно указать с помощью gconftool-2 -R /apps/gnome-terminal.

Как изменить название Gnome-Terminal?

15 ответов

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

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