2022-10-18 17:41:32 +02:00
|
|
|
# Unison preferences file
|
|
|
|
|
auto = true
|
|
|
|
|
batch = true
|
2022-10-21 16:14:14 +02:00
|
|
|
prefer = newer
|
2022-10-18 17:41:32 +02:00
|
|
|
fat = true
|
|
|
|
|
ignorearchives = true
|
|
|
|
|
log = false
|
2022-10-21 16:16:25 +02:00
|
|
|
times = true
|
2022-10-18 17:41:32 +02:00
|
|
|
|
2022-11-09 00:25:24 +01:00
|
|
|
# Ignore list directories
|
|
|
|
|
ignore = Name .stfolder
|
|
|
|
|
ignore = Name .stversions
|
|
|
|
|
ignore = Name __pycache__
|
|
|
|
|
ignore = Name _build
|
|
|
|
|
ignore = Name .import
|
2022-10-18 17:41:32 +02:00
|
|
|
|
2022-11-09 00:25:24 +01:00
|
|
|
# Ignore list files
|
2022-10-18 17:41:32 +02:00
|
|
|
ignore = Name synctex.gz
|
|
|
|
|
ignore = Name *.toc
|
|
|
|
|
ignore = Name *.log
|
|
|
|
|
ignore = Name *.fls
|
|
|
|
|
ignore = Name *.aux
|
|
|
|
|
ignore = Name *.fdb_latexmk
|
|
|
|
|
ignore = Name *.nav
|
|
|
|
|
ignore = Name *.snm
|
|
|
|
|
ignore = Name *.vrb
|
|
|
|
|
ignore = Name *.o
|
2022-11-09 15:36:55 +01:00
|
|
|
ignore = Name *.out
|
2022-10-21 15:38:21 +02:00
|
|
|
ignore = Name *.cmi
|
2022-11-09 15:36:55 +01:00
|
|
|
ignore = Name *.byte
|
