Skip to content
This repository was archived by the owner on Apr 18, 2024. It is now read-only.

add devcontainer#163

Open
pavelskipenes wants to merge 4 commits intomasterfrom
devcontainer
Open

add devcontainer#163
pavelskipenes wants to merge 4 commits intomasterfrom
devcontainer

Conversation

@pavelskipenes
Copy link
Collaborator

@pavelskipenes pavelskipenes commented Jul 4, 2022

This PR adds a new docker container with development tools installed. This will allow all contributors to have the same consistent development environment no matter what OS they run.

Watch this video for reference

image

Terminal on the left is dev container and terminal on the right is host container.

If this PR is merged then installation instructions will roughly be:

  1. Install VS Code, docker, docker-compose,git and remote containers extension in VS Code (no other dependencies on host required)
  2. clone repository
  3. insert content (translations and images)
  4. open repository inside VS Code and click on popup "open remote container"

Files of interest:
devcontainer.json: Description for VS Code on how to run devcontainer
docker-compose.yml and Dockerfile: dev container setup. Add required packages for development here.
.config/*: zsh theme files that are placed inside home directory of the container user. Other configurations can be placed there in the future.

@Everaert-K @Sigevio can you test this setup on your hardware?

@pavelskipenes
Copy link
Collaborator Author

pavelskipenes commented Jul 4, 2022

Also it would be great if you could provide the output of echo $UID and echo $GID on your host systems.

@pavelskipenes
Copy link
Collaborator Author

@Everaert-K, @sigbjornlo seems like you both have expressed that you got some issues running this. Can you follow installation instructions and getting started example project on this page and see how far you get through?

Signed-off-by: Pavel Skipenes <pavelgs@stud.ntnu.no>
Signed-off-by: Pavel Skipenes <pavelgs@stud.ntnu.no>
@pavelskipenes
Copy link
Collaborator Author

I just did a force push on this branch. Delete this repo locally and pull it over again please.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant