That depends on your definition of "small" and what you want to put on each one.
There is a file on the settings partition (#6) called installed_os.json. It is a JSON file, so it must have a particular syntax. Any errors and PINN will probably not work well. Google the format if you are not sure about this.HJAST101 wrote: ↑Tue Nov 17, 2020 5:44 pmI wanna use GPartEd to change the partition's sizes/delete some, but I heard that this will mess up the partition numbers meaning that PINN won't know which OS is which. I heard that I can use GPartEd, but then I need to change os_config.json, so how do I do that?
This file contains information about each OS installed and which partitions it uses on your storage device. You might want to make a note of these, or take a copy of the entire file.
If you use Gparted to delete any installed OS partitions, then make sure you delete the corresponding section in installed_os.json.
Best not to touch any partition below 6.
Moving and resizing the partitions won't make any difference to PINN.
Once you have finished deleting, moving and resizing, check the partition numbers used for each remaining OS and update the "Partitions" section of each OS in installed_os.json accordingly.
Depending on which OSes and how you have installed them (everything on USB, boot on SD card and rootfs on USB, all on SD card) you may or may not have any updating to do. It depends on how the partitions are referenced.
I assume you will be running GParted on a separate Linux machine with your "PINN" drive connected as a slave on USB.
I suppose you could run GParted on an OS of your "PINN" drive whilst it is running, just be careful not to resize the partition of the OS you are currently using, but maybe Gparted is smart enough to prevent you doing that. GParted may be a bit slow on the Pi itself.