Ich versuche, den Fenster- und Symboltitel für xtermUbuntu 17 festzulegen.
odin:~% grep PRET /etc/os-release
PRETTY_NAME="Ubuntu 17.04"
odin:~% printf "\e]0;%s\a" X00X
odin:~% xterm -help
XTerm(324) usage:
Der Fenstertitel wird letztendlich auf „X00X@odin“ (den Hostnamen) gesetzt.
Ich kann nicht finden, wo meine Textzeichenfolge geändert wird. Weiß jemand, wie man das abstellen kann?
Es funktioniert ordnungsgemäß auf Cygwin xterm (XTerm(330)).
Danke.
-E
Ich habe dies ausgeführt, cshum jegliche bash PROMPT_COMMANDSituationen zu vermeiden.