new file:   pydev/powerline-shell.py