scripts/tty/set_term_title.sh

   1 #!/bin/bash
   2
   3 # terminal labeller: sets the current terminal's title to the arguments
   4 # specified on the command line, or if those are blank, set the title to
   5 # the hostname.
   6
   7 title="$*"
   8 if [ -z "${title}" ]; then
   9   title="$(hostname)"
  10 fi
  11 #echo title will be $title
  12
  13 echo -n -e "\033]0;${title}\007"
  14