resync.py поднят в scripts/: пересборка копий из домов
copies.py находит расхождение, а чинить его руками — та же работа, из-за которой копии и расходятся: правка дома касается стольких файлов, сколько у него копий, и последний забывают. Проверка была, починки не было. Разметку разбирает не свой код: copies.py импортируется целиком, иначе второй разборщик той же разметки разошёлся бы с первым молча. В гейт не ставится намеренно. Автоматическая пересборка протащила бы правку дома во все копии мимо глаз автора, а копия, уезжающая в репозиторий проекта, тянет ещё и запись в журнал версий канона — этого машина не напишет. Проверено на обеих формах копии: обычной и лежащей внутри объемлющей ограды. Ограда и пустые строки по краям принадлежат месту, а не дому, и пересборка возвращает их такими, какими были — round-trip побайтно чистый на всех 24 копиях.
This commit is contained in:
@@ -63,5 +63,10 @@ project-includes = [
|
||||
"scripts/copies.py",
|
||||
"scripts/diagrams.py",
|
||||
"scripts/frontmatter.py",
|
||||
"scripts/resync.py",
|
||||
]
|
||||
python-version = "3.12"
|
||||
# resync.py импортирует разборщик разметки из copies.py: второй разборщик той же
|
||||
# разметки разошёлся бы с первым молча. Оба лежат в scripts/ и в чужой проект не
|
||||
# уезжают, поэтому импорт между ними законен — но искать его надо здесь.
|
||||
search-path = ["scripts"]
|
||||
|
||||
Reference in New Issue
Block a user