Skip to content

chore: update devcontainer configuration and .gitignore for Python support#26

Merged
arnoox merged 1 commit intomainfrom
devcontainer-update-python3
Mar 23, 2026
Merged

chore: update devcontainer configuration and .gitignore for Python support#26
arnoox merged 1 commit intomainfrom
devcontainer-update-python3

Conversation

@arnoox
Copy link
Owner

@arnoox arnoox commented Mar 23, 2026

This pull request updates the development container configuration to streamline Rust feature management and improve the post-creation setup process. The main changes focus on simplifying the Rust feature specification and enhancing the environment with additional tools and dependencies.

Devcontainer configuration improvements:

  • Removed the explicit configuration for the rust feature, relying instead on the base image for Rust setup. (.devcontainer/devcontainer.json)

  • Enhanced the postCreateCommand to:

    • Create a symlink for rustup-init to ensure compatibility with certain workflows.
    • Install additional packages (python3-pip and plotly) to support Python-based tooling and plotting.
    • Retain and slightly reorganize existing Rust and Kani setup commands. (.devcontainer/devcontainer.json)

@arnoox arnoox merged commit 222cfc4 into main Mar 23, 2026
1 check passed
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.

1 participant