how to set the title of a terminal-tab in chromebook (developermode)

howto.md

put the above file into /usr/local/bin/settitle (or somewhere accessible by your PATH)

then

$ settitle my new title

settitle

#!/bin/bash 
echo -en "\033]0;$*\a"