How to name tab in shell?

2017-10-23

Problem 😱

You have multiple shell tabs with not really nice names.

plain shell name

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

usage:

| => name writing blog post

result:

nice shell name