Self-hosting lean4game

Stream: lean4

[rm-dr]

I'd like to run the lean4game server on my own hardware. Not a single-user local server---a multi-user instance like adam.math.hhu.de. I've followed the docs and have lean4game running, but I haven't been able to add a game to the main page of the site (NNG4). How should I proceed?

[Jon Eugster]

First you want to import your game to the server by using using the import trigger as described here (just replace adam.math.hhu.de with your own server). Or you can clone the game manually to lean4game/games/[github user]/[github repo] (in that case you also have to build it manually!)

Then you need to add the games that should be displayed on the front page in the config.json under "allGames". (I don't think that's in the docs, but it should go here if you'd like to formulate some instructions)

Let me know if you get stuck!