On 04/22/15 at 07:25pm, Cecil Westerhof wrote: > I thought there was a Python shell that could be used instead of Bash > (or whichever shell you are using) Perhaps you had [xonsh](http://xonsh.org/) in mind? Manolo