Yuhao Wu af96da5d11 Fix bug: themes break global $PROMPT_COMMAND variable ...

Safely append functions to $PROMPT_COMMAND instead of setting it.

2016-07-07 17:13:00 +09:00

..

pro.theme.bash

Fix bug: themes break global $PROMPT_COMMAND variable

2016-07-07 17:13:00 +09:00