milkbikis/powerline-shell — pull request #155 by paol (2014-07-12 16:26:35+00:00)
Title: Add a "set terminal title" segment.

Emits a non-printing sequence that sets the terminal window title to user@host:dir
(This is a common default setting in many linux distros)

It was necessary to slightly refactor Powerline methods to distinguish between None and '' passed as parameters.