Bash settings for ubuntu 12.10