my dot files. NB: .bashrc only contains nonstandard lines