remove minecraft-server

This commit is contained in:
Christian Ulrich 2020-07-24 15:46:04 +02:00
parent 141fd429f4
commit 8bd79c24db
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
2 changed files with 0 additions and 37 deletions

View File

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

View File

@ -1,35 +0,0 @@
{ 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 ];
};
}