From 92fd7232da8b3c511c29e587929b453f6fb697b1 Mon Sep 17 00:00:00 2001 From: Arturo Rinaldi Date: Thu, 23 Mar 2017 11:28:58 +0100 Subject: [PATCH] fixing RESOURCE_NAME for linux install.sh script --- build/linux/dist/install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh index 141fe52bf86..ca7b699dbd7 100755 --- 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)