eclipse-theia / theia-ide

The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.
https://theia-ide.org/#theiaide
MIT License
343 stars 129 forks source link

Update browser.Dockerfile #366

Closed JoostSP closed 3 months ago

JoostSP commented 4 months ago

Building the browser.Dockerfile fails at line 26 as the .git directory appears missing. With rm -f the build no longer fails.

What it does

The -f flag on rm stops the build from failing during build, as the missing .git directory is no longer critical.

How to test

Run docker build . --file browser.Dockerfile

Review checklist

Reminder for reviewers