Can I get the name of the terminal? (or otherwise restore the old one)

Question

Setting a terminal header is easy with echo -e "\e]0;some title\007". It works with almost all terminal programs.

I want to set the title of the terminal when some program starts, and restore the old one when it ends. Is it possible?

Answer 1

There are some terminal programs that support it (xterm has compile-time options, as indicated by RWS), but most terminal programs simply lack such a function, including, in particular, Terminal.app.

Answer 2

xterm 22 23 ,

#!/bin/sh
/bin/echo -ne '\033[22;0t'  # Save title on stack
/bin/echo -ne "\033]0;$(date)\007"
sleep 1
/bin/echo -ne '\033[23;0t'  # Restore title from stack

, Mac OS X Terminal.App.

Answer 3

Yes it is possible. See the Reference Guide xterm(for example, this ) and go through it. xtermhas a built-in stack for this, so you do not need to save the header manually.

Answer 4

My solution was to set the window title during my script and then disable the window title when I was done. Cancellation of the header returned to its original value. In particular, I did the following:

# Set the terminal title
printf "\e]2;%s\a" "running my script"
# Do whatever processing is required.
...

# Restore terminal title
printf "\e]2;\a"