search

RaspberryPiFoundation / lesson_format

Lesson formatter
17 stars 28 forks source link

Russian resources not displaying #132

Closed rikcross closed 9 years ago

rikcross commented 9 years ago

Russian resources are showing locally but not on website?

thumbnail 1

andylolz commented 9 years ago

In the past, this sort of problem has usually been due to a case sensitivity issue in a manifest.

(I haven’t checked, but that’s what I’d guess.)

Should really make it fail a bit more noisily. I think that’s what #54 is about, in fact.

rikcross commented 9 years ago

I think you're right. I previously fixed the case-sensitivity and git didn't pick up the changes. I ran:

git config --system core.ignorecase false

...and everything worked! I could add this to the repo's .gitconfig to stop this happening again?

andylolz commented 9 years ago

and everything worked!

Nice one!

I could add this to the repo's .gitconfig to stop this happening again?

I don’t think repos have a .gitconfig – it’s per instance :( It might be possible to do this in the .gitattributes file, though?? I don’t know.