https://www.digminecraft.com/getting_started/game_controls.php  

Server.properties