fixing RESOURCE_NAME for linux install.sh script

artynet · cmaglie · commit bd4921910987 · 2017-04-11T13:12:10.000+02:00
diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh
@@ -6,7 +6,7 @@
 # If called with the "-u" option, it will undo the changes.
 
 # Resource name to use (including vendor prefix)
-RESOURCE_NAME=cc.arduino.arduinoide
+RESOURCE_NAME=arduino-arduinoide
 
 # Get absolute path from which this script file was executed
 # (Could be changed to "pwd -P" to resolve symlinks to their target)
