#2: Both ways of copying files didn't work for me. The first form (sudo cp -r …) at least kept the same permissions as the other folders.
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: