greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bump gameserver

Browse Source
This commit is contained in:
joneugster
2023-11-30 17:12:44 +01:00
parent 14f19a4f1b
commit 1164a6fe1b
2 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/devcontainer.json
View File

@@ -13,7 +13,7 @@
"overrideCommand": true,
"onCreateCommand": {
"npm_install": "(cd ~/lean4game && npm install)",
"lake_build": "(cd ~/game && lake update -R && lake exe cache get && lake build)"
"lake_build": "(cd ~/game && lake clean -R && lake build)"
},
"postStartCommand": "cd ~/lean4game && export VITE_LEAN4GAME_SINGLE=true && npm start",
"customizations": {