I must have been searching for like 30 minutes and still no idea. File encodings are equivalent. text/plain; charset=us-ascii

What feels the most weird to me in this, is how even leading spaces are added

Maybe try file encoding utf-8?

Windows host?

If utf-8 doesn't resolve it

Mac host, docker image built by GitHub’s Codespace environment

Yeah, the file is valid utf-8. I tell VS Code to save it as utf-8 and the resulting encoding reported remains the us-ascii subset of utf-8, because the file doesn’t dip in anything more than the subset.

Ok, I think I got it. The wrong copy must be the output of what I had before the file COPY operation in this dockerfile, but since it’s part of a docker volume, it doesn’t get refreshed by the docker build… "type=volume,source=home-xdg-config,target=/home/codespace/.config", I suppose I can be bit in many ways doing things this way.

Oh, yeah unless you have a specific reason to do that I probably wouldn't

It was to preserve config changes across dev container rebuilds, if I remember well. But in the past years, nobody ever changed any config, and if they did without contributing to the docker bootstrap, it wouldn’t be ever shared with the team, so I should try removing that.

Thanks a lot for helping me 🙂

Thank you, this is always motivating to hear :)