Correctly name the server.properties file in the minecraft container #18

Merged
tlater merged 1 commit from tlater/minecraft-cp-from-busybox into master 2020-07-27 21:24:58 +01:00
Showing only changes of commit 92131a0ec0 - Show all commits

View file

@ -6,7 +6,7 @@ let
${pkgs.busybox}/bin/mkdir -p /var/lib/ ${pkgs.busybox}/bin/mkdir -p /var/lib/
${pkgs.gzip}/bin/gzip -dc ${./configs/minecraft.tar.gz} | ${pkgs.gnutar}/bin/tar -xf - -C /var/lib ${pkgs.gzip}/bin/gzip -dc ${./configs/minecraft.tar.gz} | ${pkgs.gnutar}/bin/tar -xf - -C /var/lib
echo 'eula=true' > /var/lib/minecraft/eula.txt echo 'eula=true' > /var/lib/minecraft/eula.txt
${pkgs.busybox}/bin/cp -f ${properties} /var/lib/minecraft ${pkgs.busybox}/bin/cp -f ${properties} /var/lib/minecraft/server.properties
$@ $@
''; '';
ops = pkgs.writeText "ops.json" (builtins.toJSON [ ops = pkgs.writeText "ops.json" (builtins.toJSON [