summaryrefslogtreecommitdiff
path: root/debian/patches/fixdesktopfile.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/fixdesktopfile.patch')
-rw-r--r--debian/patches/fixdesktopfile.patch23
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/patches/fixdesktopfile.patch b/debian/patches/fixdesktopfile.patch
new file mode 100644
index 0000000..81f6797
--- /dev/null
+++ b/debian/patches/fixdesktopfile.patch
@@ -0,0 +1,23 @@
+Description: Removed deprecated options in .desktop file
+ Removed TerminalOptions and Encoding=UTF8.
+Author: Fabricio Alcalde <f@lcald.com.ar>
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- a/mcu8051ide.desktop
++++ b/mcu8051ide.desktop
+@@ -2,7 +2,6 @@
+ Categories=Development;
+ Comment=Graphical IDE for MCS-51 based microcontrollers
+ Comment[en_US]=Graphical IDE for MCS-51 based microcontrollers
+-Encoding=UTF-8
+ Exec=mcu8051ide
+ GenericName=MCU 8051 IDE
+ GenericName[en_US]=MCU 8051 IDE
+@@ -12,7 +11,6 @@
+ Name[en_US]=MCU 8051 IDE
+ StartupNotify=false
+ Terminal=false
+-TerminalOptions=
+ TryExec=mcu8051ide
+ Type=Application
+ Version=1.0