tools/config/__init__.py

   1 # Copyright 2021 Oliver Smith
   2 # SPDX-License-Identifier: GPL-3.0-or-later
   3 import os
   4 import pwd
   5
   6 #
   7 # Exported functions
   8 #
   9 from tools.config.load import load, load_session, load_channels
  10 from tools.config.save import save, save_session
  11
  12 #
  13 # Exported variables (internal configuration)
  14 #
  15 version = "1.3.3"
  16 tools_src = os.path.normpath(os.path.realpath(__file__) + "/../../..")
  17
  18 # Keys saved in the config file (mostly what we ask in 'waydroid init')
  19 config_keys = ["arch",
  20                "images_path",
  21                "vendor_type",
  22                "system_datetime",
  23                "vendor_datetime"]
  24
  25 session_config_keys = ["user_name",
  26                        "user_id",
  27                        "group_id",
  28                        "host_user",
  29                        "xdg_data_home",
  30                        "waydroid_data",
  31                        "xdg_runtime_dir",
  32                        "wayland_display",
  33                        "pulse_runtime_path",
  34                        "state",
  35                        "lcd_density"]
  36
  37 # Config file/commandline default values
  38 # $WORK gets replaced with the actual value for args.work (which may be
  39 # overridden on the commandline)
  40 defaults = {
  41     "arch": "arm64",
  42     "work": "/var/lib/waydroid",
  43     "vendor_type": "MAINLINE",
  44     "system_datetime": "0",
  45     "vendor_datetime": "0",
  46     "preinstalled_images_paths": [
  47         "/etc/waydroid-extra/images",
  48         "/usr/share/waydroid-extra/images",
  49     ]
  50 }
  51 defaults["images_path"] = defaults["work"] + "/images"
  52 defaults["rootfs"] = defaults["work"] + "/rootfs"
  53 defaults["data"] = defaults["work"] + "/data"
  54 defaults["lxc"] = defaults["work"] + "/lxc"
  55 defaults["host_perms"] = defaults["work"] + "/host-permissions"
  56
  57 session_defaults = {
  58     "user_name": pwd.getpwuid(os.getuid()).pw_name,
  59     "user_id": str(os.getuid()),
  60     "group_id": str(os.getgid()),
  61     "host_user": os.path.expanduser("~"),
  62     "xdg_data_home": str(os.environ.get('XDG_DATA_HOME', os.path.expanduser("~") + "/.local/share")),
  63     "xdg_runtime_dir": str(os.environ.get('XDG_RUNTIME_DIR')),
  64     "wayland_display": str(os.environ.get('WAYLAND_DISPLAY')),
  65     "pulse_runtime_path": str(os.environ.get('PULSE_RUNTIME_PATH')),
  66     "state": "STOPPED",
  67     "lcd_density": "0"
  68 }
  69 session_defaults["config_path"] = defaults["work"] + "/session.cfg"
  70 session_defaults["waydroid_data"] = session_defaults["xdg_data_home"] + \
  71     "/waydroid/data"
  72 if session_defaults["pulse_runtime_path"] == "None":
  73     session_defaults["pulse_runtime_path"] = session_defaults["xdg_runtime_dir"] + "/pulse"
  74
  75 channels_defaults = {
  76     "config_path": "/usr/share/waydroid-extra/channels.cfg",
  77     "system_channel": "https://ota.waydro.id/system",
  78     "vendor_channel": "https://ota.waydro.id/vendor",
  79     "rom_type": "lineage",
  80     "system_type": "VANILLA"
  81 }
  82 channels_config_keys = ["system_channel",
  83                         "vendor_channel",
  84                         "rom_type",
  85                         "system_type"]