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

feat(dev): make a userspace mountable virtualenv #392

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

fugal-dy
Copy link
Contributor

The .home directory holds the in-container virtualenv that can be made rw and hence edited for debugging purposes.

You can e. g. ln -s to the venv location for a shortcut when you need to edit files or set breakpoints etc. E. g. .venv

The same way the virtualenv is available for the languageserver (e. g. pyright) for code inspection, navigate the source, auto-importing etc. so you will not need to maintain an extra virtualenv on the host.

The `.home` directory holds the in-container virtualenv that
can be made `rw` and hence edited for debugging purposes.

You can e. g. `ln -s` to the venv location for a shortcut
when you need to edit files or set breakpoints etc.
E. g. `.venv`

The same way the virtualenv is available for the languageserver
(e. g. pyright) for code inspection, navigate the source,
auto-importing etc. so you will not need to maintain an extra
virtualenv on the host.
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