From 2e3b4bab65cc41f4c5ca74f17fd5552933bd6861 Mon Sep 17 00:00:00 2001
From: shawayusx <ayushshaw456@gmail.com>
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 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