Вопросы Теги

Существует ли способ заблокировать заголовок терминала?

Возможный в "чистом ударе", но только с extglob активный.

$ shopt -s extglob
$ A="////qsd/////sdfgfg//qsd//////"
$ echo ${A//\/+(\/)/\/}
/qsd/sdfgfg/qsd/
5
31.03.2012, 00:56
2 ответа

Согласно этому списку терминальных директив (для различных терминалов, включая X эмуляторов терминала), никакая терминальная директива не предоставляет эту точную функцию (позор).

В маловероятном случае Вы используете xterm, можно отключить ‘операцию в секунду заголовка’ использование контекстного меню Управления Xterm и очень вероятно также использование параметра командной строки и ресурса X11.

Могут быть взломы/клуджи для устранения проблемы в дальнем конце, но было бы настоящее предложение рекламы-hockery, включенной, и нет одного всеобъемлющего решения.

4
27.01.2020, 20:39
  • 1
    Спасибо! На самом деле я предпочел бы иметь решение для консоли и roxterm (так как консоль является самой быстрой среди с вкладками, и roxterm довольно терпим). :-) –  poige 30.03.2012, 15:53
  • 2
    @poige: например, Терминал Gnome просто имеет установку, которая позволяет заголовку элемента управления путем добавления программно установленного заголовка к предварительно установленному заголовку или игнорирования этих команд в целом. Я подозреваю, что и Konsole и Roxterm могут иметь подобные настройки. –  9000 31.03.2012, 07:38
  • 3
    Konsole позволяет Вам установить заголовок вкладки в текущем профиле Settings→Configure … →Tabs. Можно установить локальные и удаленные заголовки вкладки отдельно. На моей консоли, по крайней мере, активный заголовок вкладки является также заголовком окна. Можно придерживаться printf- как спецификаторы формата для различных вещей. Это konsole 2.7.4, но я знаю, что это имело ту функцию в течение многих лет. –  Alexios 31.03.2012, 11:49

Я боюсь, что решения характерны для каждого терминала xterm, gnome-terminal, и т.д.

Для Xterm: Если Вы хотите заблокировать заголовок окна для определенного xterm экземпляра из командной строки, Вы могли использовать: 

xterm -xrm "xterm*allowTitleOps: false" -T "my title"

Это полезно, если Xterm запускается со сценария, или если Вы хотите переопределить значения по умолчанию.

Для терминала гнома: В случае gnome-terminal, необходимо создать профиль с опцией "When termnial commands set their own title: Keep initial title" и затем запуститься gnome-terminal как так:

gnome --tab-with-profile=<name of your profile> -t "<your window title>"
2
27.01.2020, 20:39
  • 1
    'allowTitleOps'бит может также быть помещен в файл ресурсов X11 (такой как ~/.Xresources) как XTerm*vt100.allowTitleOps: false, так, чтобы это не включало каждый раз... потребности в параметре командной строки –  villapx 21.04.2017, 23:21

Теги

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