mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
05654ba0aa
Install script adds menu item, desktop icon, file association for the current user - even if the Arduino installation was placed outside of the user's home dir (such as in /opt or /usr/local). Added three more icon resolutions (64px, 72px, 96px) - by using the 256px file - maybe there is a better source available for this... Modified build.xml for copying the existing icons and mime.xml file, both scripts and adjusted file permissions (ugo+x) for *.sh files to be executable by others by default.
12 lines
309 B
Plaintext
12 lines
309 B
Plaintext
[Desktop Entry]
|
|
Type=Application
|
|
Name=Arduino IDE
|
|
GenericName=Arduino IDE
|
|
Comment=Open-source electronics prototyping platform
|
|
Exec=<BINARY_LOCATION>
|
|
Icon=<ICON_NAME>
|
|
Terminal=false
|
|
Categories=Development;IDE;Electronics;
|
|
MimeType=text/x-arduino
|
|
Keywords=embedded electronics;electronics;avr;microcontroller;
|