This is a known issue. https://github.com/arduino/Arduino/issues/6116 . To solve it, change, in install.sh, "RESOURCE_NAME=cc.arduino.arduinoide"...
Separate names with a comma.