1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
import os
name = "gnome15"
version = "0.9.2"
package_dir = os.path.abspath(os.path.dirname(__file__))
image_dir = os.path.join(package_dir, "..", "..", "resources", "images" )
dev = False
if os.path.exists(image_dir):
dev = True
glade_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "resources", "glade"))
font_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "resources", "fonts"))
icons_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "resources", "icons"))
themes_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "resources", "themes"))
ukeys_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "resources", "ukeys"))
plugin_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "..", "plugins"))
scripts_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "..", "scripts"))
themes_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "..", "themes"))
i18n_dir = os.path.realpath(os.path.join(package_dir, "..", "..", "..", "i18n"))
else:
image_dir = "/usr/local/share/gnome15/images"
glade_dir = "/usr/local/share/gnome15/glade"
font_dir = "/usr/local/share/gnome15"
plugin_dir = "/usr/local/share/gnome15/plugins"
themes_dir = "/usr/local/share/gnome15/themes"
ukeys_dir = "/usr/local/share/gnome15/ukeys"
i18n_dir = "/usr/local/share/gnome15/i18n"
icons_dir = "/usr/local/share/icons"
scripts_dir = "/usr/local/bin"
# Differs from distro to distro, and so is a ./configure option. See
# --enable-fixed-size-font=[name]
fixed_size_font_name = "Fixed"
|