mirror of
https://github.com/openbsd/ports.git
synced 2026-06-17 23:13:55 +02:00
32 lines
1.5 KiB
Plaintext
32 lines
1.5 KiB
Plaintext
Index: src/devedeng/configuration_data.py
|
|
--- src/devedeng/configuration_data.py.orig
|
|
+++ src/devedeng/configuration_data.py
|
|
@@ -69,7 +69,7 @@ class configuration(GObject.GObject):
|
|
|
|
if is_local is None:
|
|
try:
|
|
- os.stat("/usr/local/share/devedeng/wselect_disk.ui")
|
|
+ os.stat("${PREFIX}/share/devedeng/wselect_disk.ui")
|
|
is_local = True
|
|
except:
|
|
pass
|
|
@@ -80,12 +80,12 @@ class configuration(GObject.GObject):
|
|
if (is_local):
|
|
# locales must be always at /usr/share/locale because
|
|
# Gtk.Builder always search there
|
|
- self.share_locale = "/usr/share/locale"
|
|
- self.glade = "/usr/local/share/devedeng"
|
|
- self.font_path = "/usr/local/share/devedeng"
|
|
- self.pic_path = "/usr/local/share/devedeng"
|
|
- self.other_path = "/usr/local/share/devedeng"
|
|
- self.help_path = "/usr/local/share/doc/devedeng"
|
|
+ self.share_locale = "${PREFIX}/share/locale"
|
|
+ self.glade = "${PREFIX}/share/devedeng"
|
|
+ self.font_path = "${PREFIX}/share/devedeng"
|
|
+ self.pic_path = "${PREFIX}/share/devedeng"
|
|
+ self.other_path = "${PREFIX}/share/devedeng"
|
|
+ self.help_path = "${PREFIX}/share/doc/devedeng"
|
|
else:
|
|
self.share_locale = "/usr/share/locale"
|
|
self.glade = "/usr/share/devedeng"
|