From f73bb0873ca890366d16bbb3fbde33031e70af7b Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Sat, 7 Dec 2013 19:35:27 +0100
Subject: [PATCH] Add arduino.desktop file for Linux

This file is not installed by the ant build, but is intended for use by
Linux distributions.

The actual file was taken from the Debian package, version
1:1.0.5+dfsg2-1 and is licensed under the GPL-2+. The GenericName,
Comment and Categories fields were changed to better reflect the Arduino
program and Desktop specification.
---
 build/linux/dist/arduino.desktop | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 build/linux/dist/arduino.desktop

diff --git a/build/linux/dist/arduino.desktop b/build/linux/dist/arduino.desktop
new file mode 100644
index 000000000..dac3ebd9d
--- /dev/null
+++ b/build/linux/dist/arduino.desktop
@@ -0,0 +1,11 @@
+[Desktop Entry]
+Type=Application
+Name=Arduino IDE
+GenericName=Integrated Development Environment
+Comment=An IDE for Arduino-compatible electronics prototyping platforms
+Exec=arduino
+Icon=arduino
+Terminal=false
+Categories=Development;IDE;Electronics;
+MimeType=text/x-arduino
+Keywords=embedded electronics;electronics;avr;microcontroller;