nova's linux stuff

At the moment, I am running fedora on my primary computer. I usually use debian or debian-related distributions, so I decided to try it out for a change. It's quite nice.

bashrc: my bash prompt customizations