This "download random script from internet and execute" thing is a terrible idea, even moreso to put in bash_profile...