How to name tab in shell?


Problem 😱

You have multiple shell tabs with not really nice names.

plain shell name


Solution 🤓

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

usage:

| => name writing blog post

result:

nice shell name