GitHub Community
Problem filename after Github Import #22128
-
|
I imported a repository using Github’s import, and it worked great, except for one thing. There was a file in the repo with a special character - the registered sign (‘r’ inside a ciricle). I’m not sure if the specific character in use is unicode or from a particular Windows character set, but it’s showing up in Github for Windows as the replacement character (a question mark inside a black diamond). Trying to use Git on the command line, it shows as ‘\256’. I renamed the file to remove the problem character, and pushed the commit. When I clone the repo, and I’m now seeing: warning: the following paths have collided (e.g. case-sensitive paths ‘Resources/DC/DC® SFTP Download Utility.pdf’ If I try to view this file on GitHub.com, I get HTTP ERROR 400. I can’t remove it in Github for Windows - it keeps showing as Deleted, but when I commit it always sticks around afterwards still showing as deleted. I can’t add it to the .gitignore to ignore it, nor can I discard changes on it. On the command line, here are things I’ve tried and the output (note, the filespec used in the second git rm attempt is the filename that’s displayed in Github for Windows):
Don’t know what to do with this. Big problem currently cause I’ve got files stashed that I can’t restore because changes are present on the branch. I’d appreciate any help that might be offered; I’m stumped. Remi |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
|
Hi there! 👋 Welcome to the Community! Did you manage to get to the bottom of this? Looking at your command line output, it’s very strange that you weren’t able to stage the deletion of the file in order to commit it! Did you try using Ah, I see that you wrote in to GitHub Support and were able to resolve this by using a wildcard character, as described here: stackoverflow.com
Git checkout/remove file with special characters
macos, git, character-encoding
asked by
user3607973
on 01:40PM - 22 May 14 UTC
|
Beta Was this translation helpful? Give feedback.
Hi there! 👋 Welcome to the Community!
Did you manage to get to the bottom of this?
Looking at your command line output, it’s very strange that you weren’t able to stage the deletion of the file in order to commit it! Did you try using
git commit -a, which should stage all changes?Ah, I see that you wrote in to GitHub Support and were able to resolve this by using a wildcard character, as described here:
stackoverflow.comGit checkout/remove file with special characters