Proper format for external hard drive time machine