make push.default as simple
do some arrangement
rename bash_prompt to prompt