Hi Tom,
Hi 
I thought it was possible to copy user-profiles between different machines? Even between ones running different OSes? Is it not possible to copy&paste the Extensions folder from the old folder position to the new one? Something like the equivalent of
In theory, yes. In practice, YMMV. I always now systematically rename my
LO user profile before installing a new version, then install the new
version, start it once, and then replace the user profile created with
my previously backed up one. It sucks that one should have to do this in
order to preseve one's settings. I know of no other app where this is
the case.
Errr, i know you know cp = copy on a Gnu&Linux command-line but i don't know the equivalent in Mac. I would probably do this the click&drag gui way tbh.
It is the same on Mac if one uses the Terminal.app ;-), but there's no
real need to do so in such a case, the GUI is just fine 
Alex