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.

Sign up for GitHub

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

Jump to bottom

Add devcontainer.json to ease local dev environment setup #13638

Merged
merged 4 commits into from Mar 4, 2024
Merged

Add devcontainer.json to ease local dev environment setup #13638

merged 4 commits into from Mar 4, 2024

Commits on Mar 4, 2024

  1. Added devcontainer.json 

    Added devcontainer.json
    @Trigtrig @diemol
    Trigtrig authored and diemol committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    1a5de4f View commit details
    Browse the repository at this point in the history

  2. Moved file to devcontainer folder 

    Moved devcontainer.json to devcontainer folder
    @Trigtrig @diemol
    Trigtrig authored and diemol committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    08d56f5 View commit details
    Browse the repository at this point in the history

  3. Documented Dev Container setup in README 

    Section 'Using Docker Image' rephrased to include Dev Container setup documentation
    @Trigtrig @diemol
    Trigtrig authored and diemol committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    e63a254 View commit details
    Browse the repository at this point in the history

  4. Added back the original section 'Using Docker Image' 

    Dev Container section separated from Docker Image section
    @Trigtrig @diemol
    Trigtrig authored and diemol committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    5ece144 View commit details
    Browse the repository at this point in the history