새 그놈 터미널의 탭 이름을 명시적으로 설정하는 방법은 무엇입니까?

새 그놈 터미널의 탭 이름을 명시적으로 설정하는 방법은 무엇입니까?

탭이 시작될 때 gnome-terminal에서 탭 이름을 명시적으로 바꾸고 싶습니다. gnome-terminal --title 플래그는 실행해야 하는 다른 작업 후에 시스템 bashrc 파일에 의해 재설정되기 때문에 사용하고 싶지 않습니다.

일반 터미널에서 이 명령을 성공적으로 사용했습니다.

export PROMPT_COMMAND="echo -ne '\033]0;TABNAME\007'"

이 명령은 현재 탭의 이름을 바꾸는 데는 잘 작동하지만 gnome-terminal 실행 명령과 함께 사용하려고 하면 올바른 출력을 얻지 못합니다.

새 터미널을 열고 echo hey를 열고 bash로 돌아가는 gnome-terminal --e 플래그를 사용하여 간단한 명령을 성공적으로 실행했습니다.

gnome-terminal -e "bash -c 'echo hey';bash"

이것이 내가 시도하는 것입니다.내가 추가한 이스케이프된 " " 태그에 주목하세요.

TABNAME="export PROMPT_COMMAND=\"echo -ne '\033]0;TABNAME\007'\""
gnome-terminal --tab --e "bash -c $TABNAME;bash"

따옴표를 어떻게 바꿔도 항상 이상한 결과가 나오는데 그게 문제인 것 같아요.

관련 정보