rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Code Issues Releases Activity

create Dash Item

Browse Source
This commit is contained in:
shawayusx 2020-03-31 00:34:25 +05:30
parent a1e43ce490
commit 2e3b4bab65
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
build/linux/dist/install.sh vendored
View File

@ -285,6 +285,21 @@ else
fi fi
fi fi
updatedbs_f 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" printf " done!\n"
exit 0 exit 0