sett (294B)
1 #!/usr/bin/env bash 2 3 # sett: set title of a terminal 4 # 5 # Change the title of any terminal window. If no argument is given it sets the 6 # title to the working directory, otherwise the supplied TITLE is used. 7 8 title=$1 9 if [[ -z $title ]]; then 10 title="$(basename "$PWD")" 11 fi 12 echo -n "]0;$title"