Согласно http://www.cis.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual.html#prefs, «ignorenot» может быть здесь полезным.
Это предпочтение отменяет предпочтение игнорировать. Он дает список шаблонов (в том же формате, что и игнорировать) для путей, которые определенно не следует игнорировать, независимо от того, соответствуют ли они одному из шаблонов игнорирования.
Я не опытный пользователь Unison, поэтому я не знаю, применимо ли здесь следующее предостережение:
Обратите внимание, что семантика ignore и ignorenot немного нелогична. При обнаружении обновлений Unison анализирует пути в порядке глубины, начиная с корней реплик и работая вниз. Перед проверкой каждого пути он проверяет, совпадает ли он с игнором и не совпадает с игнором; в этом случае он пропускает этот путь и всех его потомков. Это означает, что, если какой-либо родитель данного пути соответствует шаблону игнорирования, он будет пропущен, даже если сам путь соответствует шаблону игнорирования. В частности, размещение ignore = Path * в вашем профиле и последующее использование ignorenot для выбора определенных путей для синхронизации не будут работать. Вместо этого вы должны использовать предпочтения пути, чтобы выбрать определенные пути для синхронизации.
Я понимаю, что это происходит через месяц после твоего вопроса. Тем не менее, я надеюсь, что это полезно.