| -- ### General ### | |
| logging = true -- an option to enable or disable logs. | |
| debug = false -- an option to enable or disable debug mode. | |
| threads = 10 -- the amount of threads that the app will use to run (the value should be greater than 0). | |
| -- ### Server ### | |
| port = "8080" -- port on which server should be launched | |
| binding_ip = "127.0.0.1" --ip address on the which server should be launched. | |
| production_use = false -- whether to use production mode or not (in other words this option should be used if it is to be used to host it on the server to provide a service to a large number of users (more than one)) | |
| -- if production_use is set to true | |
| -- There will be a random delay before sending the request to the search engines, this is to prevent DDoSing the upstream search engines from a large number of simultaneous requests. | |
| request_timeout = 30 -- timeout for the search requests sent to the upstream search engines to be fetched (value in seconds). | |
| -- ### Website ### | |
| -- The different colorschemes provided are: | |
| -- {{ | |
| -- catppuccin-mocha | |
| -- dark-chocolate | |
| -- dracula | |
| -- gruvbox-dark | |
| -- monokai | |
| -- nord | |
| -- oceanic-next | |
| -- one-dark | |
| -- solarized-dark | |
| -- solarized-light | |
| -- tokyo-night | |
| -- 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_url = "redis://127.0.0.1:8082" -- redis connection url address on which the client should connect on. | |
| -- ### Search Engines ### | |
| upstream_search_engines = { DuckDuckGo = true, Searx = false } -- select the upstream search engines from which the results should be fetched. | |