Mercurial > bins
annotate debian/patches/04_bins-edit-gui @ 8:c28af937b9bd
log verbosity fix (entr)
author | Peter Gervai <grin@grin.hu> |
---|---|
date | Thu, 16 Oct 2008 00:06:40 +0200 |
parents | c5749e43b1d7 |
children |
rev | line source |
---|---|
4
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
1 #!/bin/sh -e |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
2 ## bins-edit-gui by Ludovic Rousseau <rousseau@debian.org> |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
3 ## |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
4 ## All lines beginning with `## DP:' are a description of the patch. |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
5 ## DP: bins-edit-gui.glade is in /usr/share/bins/ instead of |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
6 ## DP: /usr/local/share/bins/ |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
7 |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
8 --- bins-1.1.29.orig/bins-edit-gui |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
9 +++ bins-1.1.29/bins-edit-gui |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
10 @@ -138,7 +138,7 @@ |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
11 Gnome->init("bins-edit-gui", $version); |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
12 Gtk->init; |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
13 |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
14 -$glade = "/usr/local/share/bins/bins-edit-gui.glade"; |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
15 +$glade = "/usr/share/bins/bins-edit-gui.glade"; |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
16 if (! -r $glade) { |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
17 $glade = "bins-edit-gui.glade" ; # developer hack |
c5749e43b1d7
Adding debian files (to original 1.1.29)
Peter Gervai <grin@grin.hu>
parents:
diff
changeset
|
18 print "DEVELOPER HACK\n"; |