gemini-export.md

ProperTree makes this way easier than trying to fight text formatting in a terminal window. Because Fedora is sharing the exact same EFI partition (disk0s1) as OpenCore, we can use a short-form path. OpenCore will automatically know to look on the same partition it booted from. Best of all, custom entries defined under Entries completely bypass the strict security ScanPolicy that OCLP locks down by default. Follow these steps to plug it into ProperTree:

Step 1: Open the Config

1. Ensure your EFI is mounted (sudo diskutil mount disk0s1 in Terminal).
2. Open ProperTree, press Cmd + O, and open /Volumes/EFI/EFI/OC/config.plist.

Step 2: Add the Custom Entry

1. Scroll down and expand the Misc section.
2. Find Entries (which is an Array).
3. Right-click on Entries and select Add New Child (it will create an item named 0 with a type of Dictionary).
4. Expand 0. You need to add 8 specific keys inside it. Right-click 0 and choose Add New Child for each one, matching the type and value exactly:

Key Name	Type	Value	Note
Arguments	String	Leave blank	Put any boot flags here if needed
Auxiliary	Boolean	False	Set True if you want it hidden until pressing Spacebar
Comment	String	Bazzite	Just a text reference
Enabled	Boolean	True	Turns the entry on
Flavour	String	Linux:Fedora	Tells OpenCore to render the Fedora icon
Name	String	Fedora Atomic	What the picker text will display
Path	String	\EFI\fedora\shimx64.efi	Short-form relative path to GRUB
TextMode	Boolean	False	Keeps the graphical boot interface

💡 Note: If Fedora was installed with Secure Boot active, grubx64.efi might hand over to a shim. If it doesn't boot on the first try, change the end of the path from grubx64.efi to shimx64.efi.

Step 3: Check Secure Boot

While you are in ProperTree, check one quick setting to make sure OpenCore doesn't reject the Linux kernel:

1. Under Misc, expand Security.
2. Look for SecureBootModel.
3. Ensure it is set to Disabled. (If it says Default or a Mac model, double-click it and type Disabled).

Step 4: Save and Test

1. Save the file in ProperTree (Cmd + S).
2. Reboot the Mac. You should immediately see a dedicated Fedora option right on the main OpenCore boot screen alongside macOS. Let me know if it hands off to GRUB cleanly!