Debian vs Redhat - Setting my PS1 manually