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


70

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

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

답변:


108

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


32

user title코드를 제거하고 1 에서 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을 .


9
토론에 대한 링크를 주셔서 감사합니다. 나는 이것에 대한 대답이 아니오라고 생각합니다. 링크 중 하나에서 재미있는 인용 : "현대 사용자는 터미널을 사용하지 않습니다". LOL.
penner

이것은 나를 위해 작동하지 않습니다 : Fedora 21, Bash 3.14.3.
kdbanman

그것은 또한 fc22에서 작동합니다 ..
Balaji Perumal

3
"반드시, --title 옵션이 반년 전에 출시 된 그놈 3.20 (2016 년 3 월 릴리스)에서 복원되었지만 우분투 16.04는 그놈 3.18 (2015 년 9 월 릴리스)과 함께 제공되었습니다. 이 옵션을 제거했습니다. " Michael Catanzaro의 2016-09-01 18:41:45 UTC 댓글 # 31 (두 번째 버그에서 740188)
Sage

1
@sage-기능이 없습니다. Michael의 의견 --title은 실제로 복원 된 옵션을 확인할 수 있다는 것입니다. 그러나 여기서 Q는 현재 열려있는 탭의 이름을 바꾸는 오른쪽 클릭 옵션에 관한 것입니다.
don_crissti

18

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

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

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

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

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
    
  • 당신은 (내가 Ctrl 키 + 쉬프트 - 사용하는 키보드 단축키를 설정할 수 있습니다 난을 설정하기 위해) 내가 TLE


Guake도 나쁜 변종이 아닙니다
Bunyk

1

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

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

1

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

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

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


0

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

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

0

@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제목을 적용하기 위해 자동으로 실행 됩니다.


0

한 줄 솔루션, .bashrc에 다음 줄을 추가하십시오.

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

이제 터미널에 tab_name을 입력하십시오.

user:~$ tab_name  
Name to Assign: ( type desired name here! )

끝난

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.