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