gnome-terminal:.profile not sourced

If your gnome-terminal is not running your lovely .profile that you
spent ages writing, right-click on the gnome terminal icon, choose
properties and add "–login" to the end of the parameters box.