A few bashrc modifs and alias curl