What can I say except "Thank God for gparted":
shrank my 'Home' partition by some 37 GB, and then copied my 9.5 GB
'boot' partition over into
the freed space and flagged that space as 'boot': took all night, but
did it by itself while I slept: cheers, cheers!
AND:
"Don't make a boot partition that the Linux people say is 'OK': triple
it, at least.
'Learning from avoiding mistakes' . . . Ha, Ha, Ha: learning from
putting my foot in it
for 51 years more likely.
Thanks to all on the list for all the helpful advice.
Richmond.
_______________________________________________
use-livecode mailing list
use-livecode@lists.runrev.com
Please visit this url to subscribe, unsubscribe and manage your subscription
preferences:
http://lists.runrev.com/mailman/listinfo/use-livecode
