13 Dec 2021   command-line


Shell function:

function renametab () {
    echo -ne "\033]0;"$@"\007"
}

Usage:

renametab Bob\'s Burgers

Output:

Screen Shot 2021-12-12 at 22 35 04