My various shell profiles