gnome-terminal не позволяет изменять заголовок

Question 1

Взято из https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/942780

Моно-профиль обычно отбрасывается, поскольку большинство аппаратных средств не поддерживает открывая его только в одноканальном режиме. Вы можете настроить pulseaudio, чтобы сделать то, что вы предлагаете, изменяя /usr/share/pulseaudio/alsa-mixer/profile-sets/default.conf и /usr/share/pulseaudio/alsa-mixer/profile-sets/extra-hdmi.conf В обоих файлах перейдите в раздел [Сопоставление аналогового моно] и измените channel-map = mono на channel-map = mono, mono. Это вступит в силу при следующем запуске pulseaudio (например, при перезагрузке). Однако главный вопрос заключается в том, следует ли делать это по умолчанию, и если мы рискуем отказаться от другого оборудования, сделав это.

- Дэвид Хеннингсон (див.)

Question 2

Вот что работает для меня:

Установите пакет xttitle. sudo apt-get install xttitle Добавить в ~/.bashrc: PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[1;31m\]($?)\[\033[00m\]\$ ' Добавить в .bashrc

# from the "xttitle(1)" man page - put info in window title  
update_title()   {  
  [ $TERM = xterm -o $TERM = xterm-color ] && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}  
cd()
{  
  builtin cd "${@}"
  update_title
}

Question 3

Question 4

Чтобы быть уверенным, когда вы редактировали профиль по умолчанию, попытались ли вы сохранить эту конфигурацию? Закройте терминал, а затем снова откройте его? Не получилось?

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

Попробуйте этот метод:

Откройте терминал на телефонной линии в верхней части экрана, нажмите «Редактировать»> «Профили». Выберите профиль «По умолчанию». Нажмите кнопку «Редактировать» с выделенным профилем по умолчанию. Нажмите «Вкладка« Название и команда ». Убедитесь, Заменить начальное название ". Нажмите кнопку« Закрыть »на каждом экране, чтобы вернуться к терминалу. Выйти из терминала. Перезапустить сеанс терминала.

. Вы должны иметь название, которое автоматически заменяется уникальным именем пользователя и путем в ваш домашний каталог.

Gilles · Answer 1 · 24 May 2018 в 19:27