저는 Ubuntu 18 기본 설정과 GNOME 터미널을 사용하고 있습니다. 새 탭을 만들 수 있지만 이름/제목을 지정할 방법을 찾을 수 없습니다.기존의탭: 터미널 메뉴에 옵션이 없으며 기존 탭에서 옵션을 Set Title찾을 수 없습니다 . gnome-terminal --tab --title SOMETHING현재 .bashrc에 다음이 정의되어 있습니다.
tt() { [[ -n $1 ]] && echo -ne "\e]0;$1\a" || echo Need tab title; }
ntt() { [[ -n $1 ]] && gnome-terminal --tab --title $1 || echo Need tab title; }
나는 guake, termit 및 tilix를 시도했고 GUI에서 탭 이름 바꾸기를 지원하는 것으로 보이는 12개 중 유일한 것입니다(내가 시도한 몇 개는 불안정하거나 사용하고 싶지 않은 많은 항목을 stderr로 출력합니다. 터미네이터 및 터미네이터와 같습니다).
사용자 정의 명령은 작동하지만
- 이 신비한 이스케이프 문자 시퀀스 없이 명령줄에서 기존 탭의 그놈 터미널 탭 제목을 설정하는 방법이 있습니까(그림 참조)https://askubuntu.com/a/22417/738406)
- GNOME 터미널만큼 훌륭하지만 #1을 수행하고 추가로 GUI에서 탭 제목 설정을 지원하는 더 나은 터미널 에뮬레이터가 있습니까?
답변1
gnome-terminal이 탭 이름 지정을 허용하지 않았을 때 저는 매우 좌절했습니다. 내 솔루션은 내 .bash_profile에서 파생된 내 .bash_functions 파일에 저장된 함수를 만드는 것이었습니다. 이것이 그 기능입니다:
function tabname() { newName="$1" PROMPT_COMMAND='echo -ne "\033]0;$newName\007"' }
이름을 바꾸려는 탭(예: "myTab")으로 전환하여 사용할 수 있습니다.
탭 이름 "myTab"