Emitter: Fix warnings for 23.05

This commit is contained in:
fruchti 2023-06-21 15:27:22 +02:00
parent d2daab08a1
commit e43c6450d9
2 changed files with 9 additions and 8 deletions

View file

@ -5,7 +5,6 @@
]; ];
boot.loader.grub.enable = true; boot.loader.grub.enable = true;
boot.loader.grub.version = 2;
boot.loader.grub.device = "/dev/vda"; boot.loader.grub.device = "/dev/vda";
networking.hostName = "Emitter"; networking.hostName = "Emitter";

View file

@ -16,9 +16,6 @@ in
passwordFile = "/secrets/gitea_db_password"; passwordFile = "/secrets/gitea_db_password";
createDatabase = false; createDatabase = false;
}; };
domain = "${domain}";
rootUrl = "https://${domain}/";
httpPort = 3001;
repositoryRoot = "/data/git/repositories"; repositoryRoot = "/data/git/repositories";
lfs = { lfs = {
enable = true; enable = true;
@ -30,9 +27,9 @@ in
docutils # Provides rendering of ReStructured Text files docutils # Provides rendering of ReStructured Text files
pygments # Provides syntax highlighting pygments # Provides syntax highlighting
]); ]);
nbconvert = nbconvert = pkgs.python310.withPackages (ps: with ps; [
pkgs.python310.withPackages (ps: with ps; [
jupyter jupyter
ipykernel
nbconvert nbconvert
]); ]);
max_cached_jupyter_notebooks = 200; max_cached_jupyter_notebooks = 200;
@ -67,7 +64,12 @@ in
''; '';
in in
{ {
server.SSH_PORT = lib.head config.services.openssh.ports; server = {
SSH_PORT = lib.head config.services.openssh.ports;
ROOT_URL = "https://${domain}/";
HTTP_PORT = 3001;
DOMAIN = "${domain}";
};
service.DISABLE_REGISTRATION = true; service.DISABLE_REGISTRATION = true;
session.COOKIE_SECURE = true; session.COOKIE_SECURE = true;
"markup.restructuredtext" = { "markup.restructuredtext" = {