extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2025-06-27 13:11:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

nixfmt

Browse Source
This commit is contained in:
Jörg Thalheim 2024-04-19 09:17:12 +02:00
parent bcf14f983e
commit 604798589a
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
modules/nixos-wiki/default.nix
View File

@ -57,7 +57,7 @@ in
}; # Github login }; # Github login
ConfirmEdit = null; # Combat SPAM with a simple Captcha ConfirmEdit = null; # Combat SPAM with a simple Captcha
# https://www.mediawiki.org/wiki/Extension:MobileFrontend/ # https://www.mediawiki.org/wiki/Extension:MobileFrontend/
} // pkgs.callPackages ./extensions.nix {}; } // pkgs.callPackages ./extensions.nix { };
extraConfig = '' extraConfig = ''
#$wgDebugLogFile = "/var/log/mediawiki/debug.log"; #$wgDebugLogFile = "/var/log/mediawiki/debug.log";

2
modules/nixos-wiki/update-extensions.py
View File

@ -77,7 +77,7 @@ def write_nix_file(file: IO[str], mirrored_extensions: list[Extension]) -> None:
file.write( file.write(
f' "{extension.name}" = fetchurl {{ url = "{extension.url}"; sha256 = "{extension.hash}"; }};\n' f' "{extension.name}" = fetchurl {{ url = "{extension.url}"; sha256 = "{extension.hash}"; }};\n'
) )
file.write("}") file.write("}\n")
def get_mediawiki_version(mediawiki_version: str | None = None) -> str: def get_mediawiki_version(mediawiki_version: str | None = None) -> str: