Add config.get_pref

2 files changed, 20 insertions, 0 deletions

diff --git a/commands/common.py b/commands/common.py
index 7b1b0f4..85d41ca 100644
--- a/commands/common.py
+++ b/commands/common.py
@@ -16,6 +16,7 @@ def setup():
     config.set_build_dir(os.path.join(base_path, "build"))
     config.set_commands_dir(os.path.join(base_path, "commands"))
     config.set_logs_dir(os.path.join(base_path, "logs"))
+    config.set_prefs_path(os.path.join(base_path, "prefs"))
 
     version = distro.get_system_version()
 
diff --git a/devbot/config.py b/devbot/config.py
index abd3e94..8dc320a 100644
--- a/devbot/config.py
+++ b/devbot/config.py
@@ -17,6 +17,7 @@ etc_dir = None
 dep_files = None
 module_files = None
 package_files = None
+prefs_path = None
 use_lib64 = os.uname()[4] == "x86_64"
 
 if use_lib64:
@@ -75,6 +76,24 @@ def set_package_files(files):
     global package_files
     package_files = files
 
+def set_prefs_path(path):
+    global prefs_path
+    prefs_path = path
+
+def get_pref(name):
+    prefs = {}
+
+    f = open(prefs_path)
+
+    for line in f.readline():
+        splitted = line.split("=")
+        if len(splitted) == 2:
+            prefs[splitted[1]] = splitted[2]
+
+    f.close()
+
+    return prefs[name]
+
 def get_module_source_dir(module):
     return os.path.join(source_dir, module["name"])