2023-07-17 23:20:21 -06:00
|
|
|
root_dir: /home/username
|
|
|
|
|
|
|
|
http_port: 8081
|
|
|
|
|
|
|
|
watch_mode: crawl
|
|
|
|
crawl_mode_crawl_interval: 3600 # seconds
|
|
|
|
watch_interval: 2 # seconds
|
|
|
|
|
2024-03-17 20:33:32 -06:00
|
|
|
directory_crawl_workers: 10
|
2024-03-15 19:29:00 -06:00
|
|
|
crawl_workers: 1000
|
2023-07-17 23:20:21 -06:00
|
|
|
|
|
|
|
cache_size: 100000000
|
|
|
|
cache_time: 30 # minutes
|
|
|
|
cache_print_new: false
|
|
|
|
cache_print_changes: true
|