I don’t think that matters as it’s usually curl | sudo sh