diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh index 0fa79ea5003..099f446a8b6 100755 --- a/build/linux/dist/install.sh +++ b/build/linux/dist/install.sh @@ -285,6 +285,21 @@ else fi fi updatedbs_f + +if [ ! -f "${HOME}/usr/share/applications/arduino.desktop " ]; then + touch arduino.desktop + chmod +x arduino.desktop + echo "[Desktop Entry]" >> arduino.desktop + echo "Type=Application" >> arduino.desktop + echo "Name=Arduino IDE" >> arduino.desktop + echo "GenericName=Create physical computing projects" >> arduino.desktop + echo "Exec=arduino" >> arduino.desktop + echo "Icon=arduino" >> arduino.desktop + echo "Terminal=false" >> arduino.desktop + echo "Categories=Development;Engineering;Electronics;" >> arduino.desktop + echo "MimeType=text/x-arduino" >> arduino.desktop + echo "Keywords=embedded electronics;electronics;avr;microcontroller;" >> arduino.desktop +fi printf " done!\n" exit 0
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: