☰

gnome-terminal에서 터미널 탭 제목의 이름을 바꾸는 방법은 무엇입니까?

tag-icon • tag-icon gnome-terminal
gnome-terminal에서 터미널 탭 제목의 이름을 바꾸는 방법은 무엇입니까?

이전에는 탭을 마우스 오른쪽 버튼으로 클릭하고 제목을 변경할 수 있었습니다. 더 이상 이 작업을 수행하는 방법을 잘 모르겠습니다. 방금 Fedora 21로 업그레이드했습니다.

편집: gnome-terminal에서 ROXterm으로 전환했습니다.

답변1

다음에서 함수를 만듭니다 ~/.bashrc.

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

그런 다음 새 명령을 사용하여 터미널 제목을 설정하십시오. 이름의 공백에서도 작동합니다.

set-title my new tab title

이후에 다시 사용이 가능합니다 set-title. (원본 PS1은 로 보존됩니다 ORIG.)

답변2

코드 가 에서 1개user title 제거되었습니다 . 제목을 설정하려면 이스케이프 시퀀스를 사용할 수 있습니다.gnome-terminal 3.14

printf "\e]2;YOUR TITLE GOES HERE\a"

또는 예를 들어 다음과 같습니다 bash.

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

개행 문자를 추가하지 않고 이스케이프 시퀀스(예: )를 해석하는 -ne인수 입니다 .echo\033

1: 그놈 참조버그 724110그리고 그놈버그 740188.

답변3

그놈 터미널의 새 버전은 가장 유용한 전문 기능을 버렸습니다. :-(

나는 그놈 터미널의 이전 버전을 설정하고 실행하려고 시도했으며 대안도 비교했습니다.

terminator당신에게 너무 이국적 이라면 , 이것은 mate-terminal훌륭한 선택입니다! 이는 그놈 터미널의 포크이며 모든 좋은 기능을 유지합니다.

  • 명령줄에서 여러 탭을 열어 서로 다른 제목을 지정할 수 있습니다

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"

  • 키보드 단축키를 설정할 수 있습니다(저는 Ctrl+Shift-를 사용합니다).나)에 설정나틀

답변4

Ubuntu 16.04를 사용하는 경우 다음을 수행해야 할 수 있습니다.

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

나는 이것에 대한 더 많은 정보를 나열합니다.링크.

관련 정보