view debian/patches/04_bins-edit-gui @ 5:e8a9408780ff

Merging them togther
author Peter Gervai <grin@grin.hu>
date Wed, 15 Oct 2008 23:36:49 +0200
parents c5749e43b1d7
children
line wrap: on
line source

#!/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";