+
+
http://www.arduino.cc/
- arduino.appdata.xml@mavit.org.uk
-
+ https://www.arduino.cc/en/Guide/HomePage
+ https://github.com/arduino/Arduino/issues
+ https://github.com/arduino/Arduino/tree/master/arduino-core/src/processing/app/i18n
+ https://www.arduino.cc/en/Main/Contribute
+
+ arduino.appdata.xml@mavit.org.uk
+
diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh
index c7808186909..141fe52bf86 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