alias: sshloop
bash prompt: fix tilde for bash 4.2/4.3