diff debian/patches/04_bins-edit-gui @ 4:c5749e43b1d7

Adding debian files (to original 1.1.29)
author Peter Gervai <grin@grin.hu>
date Wed, 15 Oct 2008 23:35:35 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/patches/04_bins-edit-gui	Wed Oct 15 23:35:35 2008 +0200
@@ -0,0 +1,18 @@
+#!/bin/sh -e
+## bins-edit-gui by Ludovic Rousseau <rousseau@debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: bins-edit-gui.glade is in /usr/share/bins/ instead of
+## DP: /usr/local/share/bins/
+
+--- bins-1.1.29.orig/bins-edit-gui
++++ bins-1.1.29/bins-edit-gui
+@@ -138,7 +138,7 @@
+ Gnome->init("bins-edit-gui", $version);
+ Gtk->init;
+ 
+-$glade = "/usr/local/share/bins/bins-edit-gui.glade";
++$glade = "/usr/share/bins/bins-edit-gui.glade";
+ if (! -r $glade) {
+     $glade = "bins-edit-gui.glade" ; # developer hack
+     print "DEVELOPER HACK\n";