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

refactor: better support for multiple workspace folders #369

Merged
merged 2 commits into from
Nov 1, 2024

Conversation

jfcherng
Copy link
Collaborator

@jfcherng jfcherng commented Oct 31, 2024

Previously, the auto venv detection only works for the first workspace folder and all workspace folders will use that detection result.

Now the auto venv detection works per workspace folder.

@jfcherng jfcherng force-pushed the refactor/multi-workspace branch 3 times, most recently from a7f06d6 to 52cd3dd Compare October 31, 2024 20:28
@jfcherng jfcherng added the enhancement New feature or request label Oct 31, 2024
@jfcherng jfcherng force-pushed the refactor/multi-workspace branch from 52cd3dd to 6291248 Compare November 1, 2024 08:49
Previously, the auto venv detection only works for
the first workspace folder and all workspace folder
will use that detection result.

Now the auto venv detection works per workspace folder.

Signed-off-by: Jack Cherng <jfcherng@gmail.com>
@jfcherng jfcherng force-pushed the refactor/multi-workspace branch from 6291248 to 0405067 Compare November 1, 2024 08:53
…nfo'

Signed-off-by: Jack Cherng <jfcherng@gmail.com>
@jfcherng jfcherng force-pushed the refactor/multi-workspace branch from 745b359 to 1a976d9 Compare November 1, 2024 09:12
@jfcherng jfcherng merged commit e194db0 into master Nov 1, 2024
2 checks passed
@jfcherng jfcherng deleted the refactor/multi-workspace branch November 1, 2024 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant