From 5b5cedc8f828da9a8bc99b0416c349976247525a Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 9 Nov 2022 00:25:24 +0100 Subject: [PATCH] Fix ignored directories in unison --- .unison/default.prf | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.unison/default.prf b/.unison/default.prf index a879906..87b5ac7 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -7,13 +7,14 @@ ignorearchives = true log = false times = true -# Ignore list -ignore = Path .stfolder -ignore = Path .stversions -ignore = Path __pycache__ -ignore = Path _build -ignore = Path .import +# Ignore list directories +ignore = Name .stfolder +ignore = Name .stversions +ignore = Name __pycache__ +ignore = Name _build +ignore = Name .import +# Ignore list files ignore = Name synctex.gz ignore = Name *.toc ignore = Name *.out