@ChiefScientist As long as you pipe to sudo sh it doesn't really matter.