답변:
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을 .
--title
은 실제로 복원 된 옵션을 확인할 수 있다는 것입니다. 그러나 여기서 Q는 현재 열려있는 탭의 이름을 바꾸는 오른쪽 클릭 옵션에 관한 것입니다.
새로운 버전의 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"
@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
제목을 적용하기 위해 자동으로 실행 됩니다.