Is it possible to set the Screen Title using a shell script?
I thought about something like sending the key commands ctrl+A shift-
set_screen_title () { echo -ne "\ek$1\e\\" }