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