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.

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

chore: enhance dev env for improved UV usage #6

Merged
merged 1 commit into from
Dec 4, 2024

Conversation

yasuhito
Copy link
Contributor

@yasuhito yasuhito commented Dec 4, 2024

✍ Description

This pull request updates the devcontainer.json to enhance the development environment for more efficient use of UV. The following changes have been made:

Build Configuration:

  • Updated the Docker build context and Dockerfile path.
  • Set build arguments for UV_VERSION and DEBIAN_VERSION.

Features:

  • Added Hadolint for Dockerfile linting.

VSCode Customizations:

  • Included a set of useful extensions such as charliermarsh.ruff, exiasr.hadolint, ms-python.python, and others to improve the development workflow.

Environment Variables:

  • Configured environment variables like DISPLAY, PYTHONUNBUFFERED, UV_LINK_MODE, UV_PROJECT_ENVIRONMENT, and VIRTUAL_ENV to ensure proper setup and execution.

Post-Create Command:

  • Added a post-create command uv sync --frozen to synchronize the environment after container creation.

Remote User:

  • Set the remote user to vscode for consistent user experience.

These updates aim to streamline the development process and ensure a robust setup for working with UV.

Copy link

codecov bot commented Dec 4, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Copy link
Contributor

@snuffkin snuffkin left a comment

Choose a reason for hiding this comment

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

LGTM!

@snuffkin snuffkin merged commit 7a0a4fd into oqtopus-team:main Dec 4, 2024
3 checks passed
@yasuhito yasuhito deleted the feature/enhance-devcontainer branch December 4, 2024 23:44
@snuffkin snuffkin added the chore Minor changes or maintenance tasks label Dec 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Minor changes or maintenance tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants