| -- Server | |
| port = "8080" -- port on which server should be launched | |
| binding_ip_addr = "127.0.0.1" --ip address on the which server should be launched. | |
| -- Website | |
| -- The different colorschemes provided are: | |
| -- {{ | |
| -- catppuccin-mocha | |
| -- dracula | |
| -- monokai | |
| -- nord | |
| -- oceanic-next | |
| -- solarized-dark | |
| -- solarized-light | |
| -- tomorrow-night | |
| -- }} | |
| colorscheme = "catppuccin-mocha" -- the colorscheme name which should be used for the website theme | |
| theme = "simple" -- the theme name which should be used for the website | |
| -- Caching | |
| redis_connection_url = "redis://127.0.0.1:8082" -- redis connection url address on which the client should connect on. | |