gnome-terminal에서 터미널 탭 제목의 이름을 바꾸는 방법은 무엇입니까? 탭을 마우스 오른쪽 버튼으로 클릭하고 제목을

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

편집 : 나는 그놈 터미널에서 ROXterm으로 전환했습니다.

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

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

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

또는 예 bash:

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

^{1 : 그놈 참조 버그 724110 와 그놈 버그 740188을 .}

새로운 버전의 gnome-terminal은 가장 유용한 전문 기능을 버렸습니다. 🙁

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

terminator너무 이국적 이라면 mate-terminal훌륭한 옵션입니다! 그놈 터미널의 포크이며 모든 좋은 기능을 유지합니다.

명령 줄에서 여러 개의 탭을 열어 다른 제목을 지정할 수 있습니다.
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
당신은 (내가 Ctrl 키 + 쉬프트 – 사용하는 키보드 단축키를 설정할 수 있습니다 난을 설정하기 위해) 내가 TLE

top 또는 ssh와 같은 상주 프로그램을 실행하면 탭에 레이블이 올바르게 지정됩니다.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

Ubuntu 16.04를 사용하는 경우 다음이 필요합니다.

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

나는 이것에 대한 더 많은 정보를 link 에 나열한다 .

이것을 .bashrc에 넣으십시오.

function title() {
  p1='echo -ne "\033]0;'
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2
  p1=
  p2=
}

@Weston Ganger의 답변을 확장하여 새로운 Gnome 터미널을 열 때 제목을 자동으로 설정하려면 다음을 하단에 추가하십시오 ~/.bashrc.

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

그런 다음 다음과 같은 터미널을 시작하십시오.

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

set-title제목을 적용하기 위해 자동으로 실행 됩니다.

How IT