gerd.element: skip welcome page and added brand
This commit is contained in:
parent
d1a3353419
commit
6970d8c410
2 changed files with 7 additions and 3 deletions
|
@ -6,11 +6,13 @@ let
|
||||||
# configure element web client
|
# configure element web client
|
||||||
pkg_element = pkgs.element-web.override {
|
pkg_element = pkgs.element-web.override {
|
||||||
conf = {
|
conf = {
|
||||||
default_theme = "dark";
|
default_server_name = config.mine.shared.settings.domain;
|
||||||
features.feature_latex_maths = true;
|
embedded_pages.login_for_welcome = true;
|
||||||
disable_guests = true;
|
disable_guests = true;
|
||||||
|
|
||||||
default_server_name = config.mine.shared.settings.domain;
|
brand = config.mine.shared.settings.brand;
|
||||||
|
default_theme = "dark";
|
||||||
|
features.feature_latex_maths = true;
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
in {
|
in {
|
||||||
|
|
|
@ -18,4 +18,6 @@ in {
|
||||||
mine.shared.settings.domain_sld = "fricloud";
|
mine.shared.settings.domain_sld = "fricloud";
|
||||||
# mine.shared.settings.domain = "${config.mine.shared.settings.domain_sld}.${config.mine.shared.settings.domain_tld}";
|
# mine.shared.settings.domain = "${config.mine.shared.settings.domain_sld}.${config.mine.shared.settings.domain_tld}";
|
||||||
mine.shared.settings.domain = "fricloud.dk";
|
mine.shared.settings.domain = "fricloud.dk";
|
||||||
|
|
||||||
|
mine.shared.settings.brand = "Fricloud";
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue