Autoloading .bashrc on ssh login

My ~/.bashrc file was not getting automatically loaded when I ssh-ed into the ece server. Turns out that you need a ~/.profile file, which tells bash to load ~/.bashrc. So I copied the default ~/.profile file from my computer.