I think the process I need to follow would be something like:- Non-destructively repartition the internal flash to make some space,
- Install a bootloader that allows me to choose what to boot, and
- Install a Linux flavour of my choice.
Though I more than happy to have any wrongthinks pointed out to me.
My preferred order if it can be done would be to do it ALL on the Gemini without ever having to include another computer:
1. Download a 'Planet Computers Gemini Linux Installer for Android' app from Google Play.
2. Open PCGLIA app and be presented an option to create a partition on and install Debian Linux to a user supplied microSDXC card.
3. Boot Debian Linux from the microSDXC card.
4. Download a 'Planet Computers Gemini Android Installer for Linux' app from a Planet Computers signed repository.
5. Open PCGAIL app and be presented an option to back up the existing Android software - and do so.
6. Using the PCGAIL app, be presented an option to repartition the eMMC drive.
7. Using the PCGAIL app, be presented an option to copy the Android backup from 5 one of the new partitions.
8. Using the PCGAIL app, be presented an option to install Linux to a partition on the eMMC from a .ISO file downloaded to the microSDXC.
The Gemini has eMMC, microSDXC and dual USB type C ports. There should be no need to use a second computer to image it. To require a Windows computer to install an OS on an Android/Linux device is very very sad.