скажите git pull, чтобы игнорировать файл с именем con.dat, поскольку он не может быть извлечен на Windows

Question

Я на Win10 пытаюсь git извлечь из репозитория, где существует файл с именем con.dat - он был создан и затем зарегистрирован в git на разных ОС. Я знаю, почему у вас не может быть файла с именем con.dat на Windows, и мне на самом деле этот файл не нужен. Я просто хочу, чтобы остальная часть репозитория извлекала и извлекала другие файлы, а не останавливалась и не работала, когда не может создать con.dat.

Точная ошибка:

error: unable to stat just-written file Resources/CON.dat: No such file or directory

Answer 1

Использовать разреженную проверку.

printf >.git/info/sparse-checkout %s\\n \
        '*' '!'{con,prn,aux,nul,lpt[1-9],com[1-9]}{,'.*'} 
git config core.sparsecheckout true

Возможно, вам потребуется сопоставить совершенное дело, это против или против?