codemirror/codemirror5
1
0
Fork 0
Code Issues 412 Pull requests Activity

Add DevContainer and VS Code tooling for a consistent CodeMirror 5 development environment #14309

Closed
marijnh wants to merge 1 commit from github/fork/rlaiola/chore/add-devcontainer into master
pull from: github/fork/rlaiola/chore/add-devcontainer
merge into: codemirror:master
Conversation 1 Commits 1 Files changed 3 +247
marijnh commented 2025-12-23 03:16:18 +01:00 (Migrated from gitlab.com)
Copy link

This PR introduces a complete DevContainer setup to standardize the local development environment for the CodeMirror 5 project.

It adds:

  • A .devcontainer configuration based on Node.js 20, with a custom Dockerfile.
  • Preinstalled development tools and linters (hadolint, shfmt, yamllint, markdownlint, ESLint support).
  • Chromium and Puppeteer configuration suitable for testing without auto-downloading Chrome.
  • VS Code extensions and workspace settings to ensure consistent formatting, linting, and editor behavior across contributors.

The goal is to make onboarding easier, reduce “it works on my machine” issues, and provide a reproducible, editor-integrated development environment aligned with the project’s tooling and coding standards.

This PR introduces a complete DevContainer setup to standardize the local development environment for the CodeMirror 5 project. It adds: - A `.devcontainer` configuration based on Node.js 20, with a custom Dockerfile. - Preinstalled development tools and linters (hadolint, shfmt, yamllint, markdownlint, ESLint support). - Chromium and Puppeteer configuration suitable for testing without auto-downloading Chrome. - VS Code extensions and workspace settings to ensure consistent formatting, linting, and editor behavior across contributors. The goal is to make onboarding easier, reduce “it works on my machine” issues, and provide a reproducible, editor-integrated development environment aligned with the project’s tooling and coding standards.
marijnh commented 2025-12-23 11:51:37 +01:00 (Migrated from gitlab.com)
Copy link

This is not something I'm interested in for this project.

This is not something I'm interested in for this project.
marijnh (Migrated from gitlab.com) closed this pull request 2025-12-23 11:51:37 +01:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
codemirror/codemirror5!14309
No description provided.