Skip to content

Devcontainer update#7

Open
JonAlexandra wants to merge 1 commit intomainfrom
minor-devcontainer-update
Open

Devcontainer update#7
JonAlexandra wants to merge 1 commit intomainfrom
minor-devcontainer-update

Conversation

@JonAlexandra
Copy link
Collaborator

  • Changes the devcontainer image after issues with apt update due to some certificate problem in the used container image
  • Renames the devcontainer to make it easier to identify
  • Adds an ignore rule to prevent auto save from removing unused imports as I find this annoying while developing. If you prefer to keep this on, I will remove it again.

…mage. Add more descriptive name to the devcontainer. Add a linting rule, to prevent auto save from removing unused imorts
@JonAlexandra JonAlexandra requested a review from madsdk February 9, 2026 13:35
"ruff.nativeServer": "on"
"ruff.nativeServer": "on",
"ruff.lint.ignore": [
"F401" // Unused imports: Auto formatting on save means unused imports are removed, which is very annoying in dev
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, but since imports in Python can have side effects, removing unused imports is important...

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.

2 participants