Skip to content

Move .devenv to devenv#12

Merged
chromy merged 1 commit into
mainfrom
chromy/2025-06-10-rename-devenv
Jun 10, 2025
Merged

Move .devenv to devenv#12
chromy merged 1 commit into
mainfrom
chromy/2025-06-10-rename-devenv

Conversation

@chromy

@chromy chromy commented Jun 10, 2025

Copy link
Copy Markdown
Contributor

.devenv is where all the stuff it is safe to delete is contained
(with the exception of .venv).

In general, our library is designed to isolate, as much as possible,
a repo's dev environment within [reporoot]/.devenv.
For example, gcloud is installed to [reporoot]/.devenv/bin/gcloud
(with the gcloud sdk at [reporoot]/.devenv/bin/google-cloud-sdk).
An exception to this would be python virtualenvs, which was
implemented before the idea of [reporoot]/.devenv.

.devenv is where all the stuff it is safe to delete is contained
(with the exception of .venv).

> In general, our library is designed to isolate, as much as possible,
> a repo's dev environment within [reporoot]/.devenv.
> For example, gcloud is installed to [reporoot]/.devenv/bin/gcloud
> (with the gcloud sdk at [reporoot]/.devenv/bin/google-cloud-sdk).
> An exception to this would be python virtualenvs, which was
> implemented before the idea of [reporoot]/.devenv.
@chromy chromy merged commit 56d17b6 into main Jun 10, 2025
10 checks passed
@chromy chromy deleted the chromy/2025-06-10-rename-devenv branch June 10, 2025 14:42
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