I am currently using Arduino IDE 1.8.5 and all is working well on Linux mint 19 64bit. I use the IDE for Arduino and for Piduino (Rasp Pi), as it is a very well-made, useful and convenient IDE.
I have installed Arduino IDE 1.8.7 alongside but each time I try to compile a sketch that works, compiles and uploads fine on 1.8.5, I get the error “:0:0: fatal error: opening dependency file /dev/null.d: Permission denied”
I have spent a lot of time trying to search the internet forums for others with the same problem, but find very little that helps. It seems to be okay with sudo arduino (run from the root home folder), but then I get lots of issues with “error: ‘string’ does not name a type”, which I do not get with 1.8.5.
I will forget about 1.8.7 for now and use the 1.8.5, as there seems to be no clear advantage with the upgrade for me.
Can I assist anyone interested in resolving this with some troubleshooting feedback?