diff --git a/build/linux/dist/appdata.xml b/build/linux/dist/appdata.xml index 410f4b646..ea48c62d3 100644 --- a/build/linux/dist/appdata.xml +++ b/build/linux/dist/appdata.xml @@ -1,8 +1,12 @@ - - - arduino.desktop - CC-BY-SA + + + cc.arduino.arduinoide.desktop + CC-BY-SA-3.0 + + Arduino IDE + Open-source electronics prototyping platform +

Arduino is an open-source electronics prototyping platform based @@ -15,10 +19,13 @@ to develop and upload code to compatible microcontrollers.

+ http://mavit.fedorapeople.org/appdata/arduino-screenshot.png http://mavit.fedorapeople.org/appdata/arduino-photo.jpg + http://www.arduino.cc/ - arduino.appdata.xml@mavit.org.uk -
+ + arduino.appdata.xml@mavit.org.uk + diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh index c78081869..141fe52bf 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=arduino-arduinoide +RESOURCE_NAME=cc.arduino.arduinoide # Get absolute path from which this script file was executed # (Could be changed to "pwd -P" to resolve symlinks to their target) @@ -85,6 +85,9 @@ simple_install_f() { mkdir -p "${HOME}/.local/share/applications" cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" "${HOME}/.local/share/applications/" + mkdir -p "${HOME}/.local/share/metainfo" + cp "${SCRIPT_PATH}/lib/appdata.xml" "${HOME}/.local/share/metainfo/${RESOURCE_NAME}.appdata.xml" + # Copy desktop icon if desktop dir exists (was found) if [ -d "${XDG_DESKTOP_DIR}" ]; then cp "${TMP_DIR}/${RESOURCE_NAME}.desktop" "${XDG_DESKTOP_DIR}/" @@ -137,14 +140,24 @@ xdg_uninstall_f() { # Uninstall by simply removing desktop files (fallback), incl. old one simple_uninstall_f() { + # delete legacy cruft .desktop file if [ -f "${HOME}/.local/share/applications/arduino.desktop" ]; then rm "${HOME}/.local/share/applications/arduino.desktop" fi + # delete another legacy .desktop file + if [ -f "${HOME}/.local/share/applications/arduino-arduinoide.desktop" ]; then + rm "${HOME}/.local/share/applications/arduino-arduinoide.desktop" + fi + if [ -f "${HOME}/.local/share/applications/${RESOURCE_NAME}.desktop" ]; then rm "${HOME}/.local/share/applications/${RESOURCE_NAME}.desktop" fi + if [ -f "${HOME}/.local/share/metainfo/${RESOURCE_NAME}.appdata.xml" ]; then + rm "${HOME}/.local/share/metainfo/${RESOURCE_NAME}.appdata.xml" + fi + if [ -f "${XDG_DESKTOP_DIR}/arduino.desktop" ]; then rm "${XDG_DESKTOP_DIR}/arduino.desktop" fi