blob: 6c6780c6d8609ed3b8304cae9b980daceaed3013 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
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
|
