Revert "Customized terminal prompt"

This reverts commit b44ecec042308b8e3b2079a70f72e2bc77162c51.