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

다음에서 함수를 만듭니다 ~/.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).

코드가 ^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.}

gnome-terminal의 새 버전은 가장 유용한 전문 기능을 삭제합니다. :-(

나는 이전 버전의 gnome-terminal을 설정하고 실행해 보고 대안을 비교했습니다.

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

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

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

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

Ubuntu 16.04를 사용하는 경우 다음이 필요할 수 있습니다.

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

나는 그것에 대한 자세한 정보를 나열했습니다.협회.