mediawiki: fix LocalConfig
This commit is contained in:
parent
340ca34ad3
commit
9431b5384a
|
@ -74,7 +74,7 @@ in
|
||||||
nginx.hostName = "wiki.c3d2.de";
|
nginx.hostName = "wiki.c3d2.de";
|
||||||
package = pkgs.php81.buildComposerProject {
|
package = pkgs.php81.buildComposerProject {
|
||||||
pname = "mediawiki-pre-full";
|
pname = "mediawiki-pre-full";
|
||||||
inherit (pkgs.mediawiki) version;
|
inherit (pkgs.mediawiki) version postPatch;
|
||||||
|
|
||||||
src = pkgs.applyPatches {
|
src = pkgs.applyPatches {
|
||||||
inherit (pkgs.mediawiki) src;
|
inherit (pkgs.mediawiki) src;
|
||||||
|
@ -89,6 +89,12 @@ in
|
||||||
|
|
||||||
postInstall = ''
|
postInstall = ''
|
||||||
mv $out/share/{php/mediawiki-pre-full,mediawiki}/
|
mv $out/share/{php/mediawiki-pre-full,mediawiki}/
|
||||||
|
rm -r $out/share/php
|
||||||
|
|
||||||
|
# https://github.com/NixOS/nixpkgs/blob/master/pkgs/servers/web-apps/mediawiki/default.nix#L21-L23
|
||||||
|
echo "<?php
|
||||||
|
return require(getenv('MEDIAWIKI_CONFIG'));
|
||||||
|
?>" > $out/share/mediawiki/LocalSettings.php
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
#skins = {
|
#skins = {
|
||||||
|
|
Loading…
Reference in New Issue