diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/addlaunchscript.patch | 9 | ||||
-rw-r--r-- | debian/patches/debian-changes-1.3.7-1 | 42 | ||||
-rw-r--r-- | debian/patches/fixdesktopfile.patch | 23 | ||||
-rw-r--r-- | debian/patches/series | 3 |
4 files changed, 34 insertions, 43 deletions
diff --git a/debian/patches/addlaunchscript.patch b/debian/patches/addlaunchscript.patch new file mode 100644 index 0000000..19339ec --- /dev/null +++ b/debian/patches/addlaunchscript.patch @@ -0,0 +1,9 @@ +Description: Added launch script +Author: Fabricio Alcalde <f@lcald.com.ar> +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ +--- /dev/null ++++ b/mcu8051ide +@@ -0,0 +1,2 @@ ++#!/bin/sh ++exec tclsh8.5 /usr/share/mcu8051ide/lib/main.tcl "$@" diff --git a/debian/patches/debian-changes-1.3.7-1 b/debian/patches/debian-changes-1.3.7-1 deleted file mode 100644 index ee6a045..0000000 --- a/debian/patches/debian-changes-1.3.7-1 +++ /dev/null @@ -1,42 +0,0 @@ -Description: Upstream changes introduced in version 1.3.7-1 - This patch has been created by dpkg-source during the package build. - Here's the last changelog entry, hopefully it gives details on why - those changes were made: - . - mcu8051ide (1.3.7-1) unstable; urgency=low - . - * Initial release (Closes: #546549) - * This is my first Debian package. - . - The person named in the Author field signed this changelog entry. -Author: Fabricio Alcalde <f@lcald.com.ar> -Bug-Debian: http://bugs.debian.org/546549 - ---- -The information above should follow the Patch Tagging Guidelines, please -checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here -are templates for supplementary fields that you might want to add: - -Origin: <vendor|upstream|other>, <url of original patch> -Bug: <url in upstream bugtracker> -Bug-Debian: http://bugs.debian.org/<bugnumber> -Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber> -Forwarded: <no|not-needed|url proving that it has been forwarded> -Reviewed-By: <name and email of someone who approved the patch> -Last-Update: <YYYY-MM-DD> - ---- /dev/null -+++ mcu8051ide-1.3.7/mcu8051ide -@@ -0,0 +1,2 @@ -+#!/bin/sh -+exec tclsh8.5 /usr/share/mcu8051ide/lib/main.tcl "$@" ---- mcu8051ide-1.3.7.orig/mcu8051ide.desktop -+++ mcu8051ide-1.3.7/mcu8051ide.desktop -@@ -12,7 +12,6 @@ Name=MCU 8051 IDE - Name[en_US]=MCU 8051 IDE - StartupNotify=false - Terminal=false --TerminalOptions= - TryExec=mcu8051ide - Type=Application - Version=1.0 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 diff --git a/debian/patches/series b/debian/patches/series index d8c397d..c3f1811 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ -debian-changes-1.3.7-1 +fixdesktopfile.patch +addlaunchscript.patch |