2023-05-27 19:50:20 +03:00
-- ### General ###
logging = true -- an option to enable or disable logs.
2023-05-29 21:09:07 +03:00
debug = false -- an option to enable or disable debug mode.
2023-08-02 20:05:39 +03:00
threads = 10 -- the amount of threads that the app will use to run (the value should be greater than 0).
2023-05-27 19:50:20 +03:00
2023-05-26 19:27:15 +03:00
-- ### Server ###
2023-04-30 19:24:16 +03:00
port = " 8080 " -- port on which server should be launched
2023-07-03 19:30:25 +02:00
binding_ip = " 127.0.0.1 " --ip address on the which server should be launched.
2023-07-15 13:37:53 +03:00
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))
2023-05-26 19:27:15 +03:00
-- 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.
2023-07-30 10:50:52 +03:00
request_timeout = 30 -- timeout for the search requests sent to the upstream search engines to be fetched (value in seconds).
2023-04-30 19:24:16 +03:00
2023-05-26 19:27:15 +03:00
-- ### Website ###
2023-04-30 20:04:31 +03:00
-- The different colorschemes provided are:
-- {{
-- catppuccin-mocha
2023-07-28 18:52:01 +03:00
-- dark-chocolate
2023-04-30 20:04:31 +03:00
-- dracula
2023-07-28 18:52:01 +03:00
-- gruvbox-dark
2023-04-30 20:04:31 +03:00
-- monokai
-- nord
-- oceanic-next
2023-07-28 18:52:01 +03:00
-- one-dark
2023-04-30 20:04:31 +03:00
-- solarized-dark
-- solarized-light
2023-07-28 18:52:01 +03:00
-- tokyo-night
2023-04-30 20:04:31 +03:00
-- tomorrow-night
-- }}
2023-04-30 19:24:16 +03:00
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
2023-05-02 11:58:21 +03:00
2023-05-26 19:27:15 +03:00
-- ### Caching ###
2023-07-03 19:30:25 +02:00
redis_url = " redis://127.0.0.1:8082 " -- redis connection url address on which the client should connect on.
2023-07-11 19:37:31 +03:00
-- ### Search Engines ###
2023-07-15 13:37:53 +03:00
upstream_search_engines = { DuckDuckGo = true , Searx = false } -- select the upstream search engines from which the results should be fetched.