On Tuesday, 25 July 2017 14:25:59 CEST Joel Rees wrote: > Can you boot without the Mac OS partition? I'm using grub to boot debian. To boot MacOS, I need to press the option key (⌥) to start up to Apple's Startup Manager, rather than grub. Startup Manager allows me to choose the MacOS partition, and boot that one. -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ Sent from my brain using neurons fueled by glucose. ⢿⡄⠘⠷⠚⠋⠀ ⠈⠳⣄