verbose: # Display all logs until the given value (inclusive) # 1 panic # 2 fatal # 3 error # 4 warn # 5 info # 6 debug # 7 trace level: 7 server: bindip: "0.0.0.0" listenport: "8085" root: "/" time: # use the format below for describing the individual values # # Jan 2 15:04:05 2006 MST format: "2006-01-02 03:04:05 MST" hide: # hide files starting with a dot files: true # hide files with the given extensions extensions: - aux - log - out - synctex.gz - tex - toc