Cargar cambios en bash_profile sin necesidad de salir y entrar en el sistema