add minecraft server

master
Christian Ulrich 2020-04-04 14:46:23 +02:00
parent e6af863285
commit 3ff7bef13b
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
2 changed files with 37 additions and 0 deletions

View File

@ -18,4 +18,6 @@ self: super:
shinto-cli = super.callPackage ./pkgs/shinto-cli { };
ui = super.callPackage ./pkgs/nim-packages/ui.nix { };
minecraft-server = super.callPackage ./pkgs/minecraft-server/default.nix { };
}

View File

@ -0,0 +1,35 @@
{ stdenv, fetchurl, jre_headless }:
stdenv.mkDerivation {
pname = "minecraft-server";
version = "1.15.2";
src = fetchurl {
url =
"https://launcher.mojang.com/v1/objects/bb2b6b1aefcd70dfd1892149ac3a215f6c636b07/server.jar";
sha256 = "12kynrpxgcdg8x12wcvwkxka0fxgm5siqg8qq0nnmv0443f8dkw0";
};
preferLocalBuild = true;
installPhase = ''
mkdir -p $out/bin $out/lib/minecraft
cp -v $src $out/lib/minecraft/server.jar
cat > $out/bin/minecraft-server << EOF
#!/bin/sh
exec ${jre_headless}/bin/java \$@ -jar $out/lib/minecraft/server.jar nogui
EOF
chmod +x $out/bin/minecraft-server
'';
phases = "installPhase";
meta = with stdenv.lib; {
description = "Minecraft Server";
homepage = "https://minecraft.net";
license = licenses.unfreeRedistributable;
platforms = platforms.unix;
maintainers = with maintainers; [ thoughtpolice tomberek costrouc ];
};
}