fix typo in bashrc and push.sh