Skip to content

Add dev container#6

Open
caspermeijn wants to merge 1 commit intowenyi0421:masterfrom
caspermeijn:devcontainer
Open

Add dev container#6
caspermeijn wants to merge 1 commit intowenyi0421:masterfrom
caspermeijn:devcontainer

Conversation

@caspermeijn
Copy link
Copy Markdown

A dev container makes it easy to open this project on a new computer. VSCode can automatically setup the build environment using Docker.
https://containers.dev/

A dev container makes it easy to open this project on a new computer. VSCode can automatically setup the build environment using Docker.
https://containers.dev/
@msgilligan
Copy link
Copy Markdown

For those of us not familiar with VCCode and Dev Containers what would be required to get started if this PR was merged?

@caspermeijn
Copy link
Copy Markdown
Author

One way is to use GitHub Codespaces. In the top right of this PR, you can "Open in codespace". This will build the dev container and open an online VSCode in that environment. You can directly start executing the instructions from the README.

For local development, you need Docker and the plugin. See https://code.visualstudio.com/docs/devcontainers/tutorial

@wenyi0421
Copy link
Copy Markdown
Owner

I build on local ubuntu, I will try to learn to use the dev container

djbender pushed a commit to djbender/turing-pi that referenced this pull request Aug 18, 2023
The disabled drivers and features also reduced the kernel image size by
8.8% for me.

The final commit also replaces the "full" kernel config with one
generated by `savedefconfig`, which removes redundant/implied options
and options that are equal to their default setting. This should make it
easier in the long run to switch kernel versions in the future and to
resolve merge conflicts in the kernel config.

Fixes wenyi0421#6
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.

3 participants