After the first command, I got a bunch of lines saying "rm: cannot remove, etc, etc" and "Permission denied." I can't figure out how to copy/paste from the terminal, and it's too lengthy to type character for character. Is it still worth trying the second command?
sudo gainroot