diff --git a/build/build.xml b/build/build.xml index f5d1746bb..15546718e 100644 --- a/build/build.xml +++ b/build/build.xml @@ -639,6 +639,7 @@ + diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh index 78cf4f9b1..ca7b699db 100755 --- a/build/linux/dist/install.sh +++ b/build/linux/dist/install.sh @@ -44,11 +44,10 @@ xdg_install_f() { xdg-icon-resource install --context apps --size 256 "${SCRIPT_PATH}/lib/icons/256x256/apps/arduino.png" $RESOURCE_NAME # Install the created *.desktop file -## XFCE's Launcher wants the .desktop file to be +x as well - xdg-desktop-menu install --mode 755 "${TMP_DIR}/${RESOURCE_NAME}.desktop" + xdg-desktop-menu install "${TMP_DIR}/${RESOURCE_NAME}.desktop" # Create icon on the desktop - xdg-desktop-icon install --mode 755 "${TMP_DIR}/${RESOURCE_NAME}.desktop" + xdg-desktop-icon install "${TMP_DIR}/${RESOURCE_NAME}.desktop" # Install Arduino mime type xdg-mime install "${SCRIPT_PATH}/lib/${RESOURCE_NAME}.xml"