From 2e3b4bab65cc41f4c5ca74f17fd5552933bd6861 Mon Sep 17 00:00:00 2001 From: shawayusx Date: Tue, 31 Mar 2020 00:34:25 +0530 Subject: [PATCH] create Dash Item --- build/linux/dist/install.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/build/linux/dist/install.sh b/build/linux/dist/install.sh index 0fa79ea50..099f446a8 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