Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/git/22.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Windows 拉取文件名中带有保留字符的远程repo_Windows_Git_Git Pull - Fatal编程技术网

Windows 拉取文件名中带有保留字符的远程repo

Windows 拉取文件名中带有保留字符的远程repo,windows,git,git-pull,Windows,Git,Git Pull,我正试图从Github中提取一个远程repo,以便以后可以推送一些新文件,但我的一个合作者(在OSX上工作)在Windows中使用保留字符命名了一个文件,“:”。如果我可以推动我的更改而不这样做,也不会造成潜在的问题,那么我就没有必要拉动repo(我已经研究了git pull--force,但我担心可能会从远程repo中删除文件)。做这件事最好的方法是什么 提前谢谢 最简单的解决方案可能是技术含量最低的:与您的合作伙伴联系,让他们重命名文件 它当然不优雅,但它是处理该问题的最安全的方法,希望将来

我正试图从Github中提取一个远程repo,以便以后可以推送一些新文件,但我的一个合作者(在OSX上工作)在Windows中使用保留字符命名了一个文件,“:”。如果我可以推动我的更改而不这样做,也不会造成潜在的问题,那么我就没有必要拉动repo(我已经研究了git pull--force,但我担心可能会从远程repo中删除文件)。做这件事最好的方法是什么


提前谢谢

最简单的解决方案可能是技术含量最低的:与您的合作伙伴联系,让他们重命名文件


它当然不优雅,但它是处理该问题的最安全的方法,希望将来避免类似问题。

您可以使用“”,将回购设置为完全忽略这些文件的存在:


cat他们是否可以用另一个类似的Unicode等价物(如U+2236)替换
:'
,即Unicode U+002A?
cat <<\EOD >.git/info/sparse-checkout
*
!*:*
EOD
git config core.sparseCheckout true
git checkout