Dockerfile not found at docker build

[JohanHardy]

Bug Description: The root Dockerfile collides with the dockerfile folder under windows. At docker build -t, the dockerfile is not found. Workaround is to build within WSL.

Steps to Reproduce:

1. Using docker desktop for windows
2. go to the repo location
3. execute the documented docker build

Additional Information

• Operating System: Windows MS
• Theia Version: n/a

[sdirix]

Thanks for the report. We'll take a look at this, should be relatively straightforward to rename the directory.

[sgraband]

The issue is that on Windows the path <repo>/Dockerfile (file in root) and <repo>/dockerfile (folder in root) are treated the same. Hence when copying or cloning the project the dockerfile folder is not created.

I will provide a PR where i rename everything accordingly and update the documentation.