arduino 1.8.12
default install is downloading all the platform and tools in the .arduino15 directory.
I'm guessing there's no way to configure to have that all in a common directory like /opt/arduino ?
There's 1GB+ that is duplicated for each user, plus uncertainty if they are all in sync/the same
but would still have individual preferences.txt
I use different logins to work on some different projects.