. /etc/profile.d/init
PS1="$(echo $PS1|sed 's@ash@bash@g; s@bbash@bash@g')"
PS1="$PS1 "
echo zsh > $HOME/.bash_history
