Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve build README and fix minor issues #76

Closed

Conversation

sgraband
Copy link
Contributor

What it does

Move Dockerfile for windows support

Rename Dockerfile to Dockerfile.dev.
Move dockerfile/Dockerfile to Dockerfile.
Update documentation with new docker build command.
Update devcontainer to use Dockerfile.dev.

Add issue template for Theia CR updates

Update README to improve build documentation

Improve build documentation.
Fix devcontainer.
Remove unneccessary builds from yarn scripts.

Contributed on behalf of STMicroelectronics

Fixes #71 & #66.

Rename Dockerfile to Dockerfile.dev.
Move dockerfile/Dockerfile to Dockerfile.
Update documentation with new docker build command.
Update devcontainer to use Dockerfile.dev.

Contributed on behalf of STMicroelectronics
Contributed on behalf of STMicroelectronics
Improve build documentation.
Fix devcontainer.
Remove unneccessary builds from yarn scripts.

Contributed on behalf of STMicroelectronics
@sgraband
Copy link
Contributor Author

Will split this in three seperate PRs.

@sgraband sgraband closed this Dec 18, 2023
@sdirix sdirix deleted the minorImprovements branch December 18, 2023 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dockerfile not found at docker build
1 participant