<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Disk Utility should be able to do a non-destructive resize of the partition even while you're booted on it.<br></div></blockquote><div><br></div><div>on a non-mac disc with grub already installed (if grub isn't already installed just use grub-install), it's easy to add (many) menuentries to boot (a collection of) ISOs.  the ISOs can just be downloaded into whatever partition/filesystem already exists.  no repartitioning, reformatting, nor mkfs necessary.  this works nicely on a hard disc or thumb drive.<br><br></div><div>i'm hoping it's (nearly) as easy on a mac, but, is it?<br></div></div></div></div>