Because this script copies things to /, it needs to be run with sudo. But two of the
copy operations also copy things to your home directory, and if you sudo the whole
script, this results in those files being copied with root ownership, which can cause
This patch prepends sudo to just the copy operations that need it so that the ones
that don't aren't run with inappropriately elevated permissions.