add another one useful for .profile
[shellsnippets/shellsnippets.git] / mksh / terminal-title
2018-10-03 mirabilosmerge Teckids history for mksh/progress-bar
2018-04-27 mirabilosadd terminal title setter, requested by many