How to name tab in shell?
Problem 😱
You have multiple shell tabs with not really nice names.
Solution 🤓
function name() { echo -ne "\\033]0;$@\\007"; }usage:
| => name writing blog postresult:
You have multiple shell tabs with not really nice names.
function name() { echo -ne "\\033]0;$@\\007"; }usage:
| => name writing blog postresult:
