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-12-11 23:22:39 +01:00
|
|
|
ignore = Name _minted-*
|
2023-03-10 16:51:16 +01:00
|
|
|
ignore = Name bin
|
|
|
|
ignore = Name lib
|
2023-10-04 16:58:58 +02:00
|
|
|
ignore = Name .gradle
|
|
|
|
ignore = Name .idea
|
2022-10-18 17:41:32 +02:00
|
|
|
|
2022-11-09 00:25:24 +01:00
|
|
|
# Ignore list files
|
2022-11-30 20:20:09 +01:00
|
|
|
ignore = Name *.synctex.gz
|
2023-03-23 10:27:21 +01:00
|
|
|
ignore = Name *.tns
|
2022-10-18 17:41:32 +02:00
|
|
|
ignore = Name *.toc
|
|
|
|
ignore = Name *.log
|
2022-12-11 23:22:39 +01:00
|
|
|
ignore = Name *.loa
|
|
|
|
ignore = Name *.lof
|
|
|
|
ignore = Name *.locs
|
|
|
|
ignore = Name *.bbl
|
|
|
|
ignore = Name *.blg
|
2022-10-18 17:41:32 +02:00
|
|
|
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
|
2023-09-22 13:07:47 +02:00
|
|
|
ignore = Name *.cmx
|
2022-11-09 15:36:55 +01:00
|
|
|
ignore = Name *.byte
|
2023-09-22 13:07:47 +02:00
|
|
|
ignore = Name *.exe
|
2023-03-27 00:18:57 +02:00
|
|
|
ignore = Name pyvenv.cfg
|
2023-10-04 16:58:58 +02:00
|
|
|
ignore = Name local.properties
|