webmaster/maubot
1
0
Fork 0
mirror of https://github.com/maubot/maubot synced 2025-08-29 01:10:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: building plugins on Windows where HOME isn't available sometimes

Browse source
This commit is contained in:
jesterr0 2025-04-12 11:39:51 -04:00
parent fe4d2f02bb
commit cc9963418f
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
maubot/cli/config.py
View file

@ -26,7 +26,13 @@ config: dict[str, Any] = {
"aliases": {},
"default_server": None,
}
configdir = os.environ.get("XDG_CONFIG_HOME", os.path.join(os.environ.get("HOME"), ".config"))
home_dir = os.environ.get("HOME") or os.environ.get("USERPROFILE")
if home_dir is None:
raise EnvironmentError(
"Neither HOME nor USERPROFILE environment variables are set."
)
configdir = os.environ.get("XDG_CONFIG_HOME", os.path.join(home_dir, ".config"))
def get_default_server() -> tuple[str | None, str | None]: