-
Notifications
You must be signed in to change notification settings - Fork 43
how can I clone repos to /home/coder
?
#384
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
Comments
I think we need to append Given: User specifies When: Envbuilder runs Then: Git repo located at |
Gotcha... I think this will be a |
Adding to next sprint |
I started looking at this and I realized the feature is behaving exactly as documented: https://github.com/coder/envbuilder/blob/c16ae9fb1b24445b17439f9b5222940e26903d14/docs/using-local-files.md Do we want to:
Thoughts @bpmct? |
Could we support the repo-name as a wildcard? So the default workspaces folder changes to /workspace/$REPO (unsure what is best syntax) so someone can change it to |
Really, though, I have no strong opinions and am down to deprecate a flag
but let’s avoid any hard-breaking changes.
|
@bpmct I think it's best to avoid introducing magic syntax if we can avoid it. The Perhaps we just introduce a new option called: I would like to keep (In the spec you see |
Sounds good. |
By default, envbuilder will clone workspaces to
/workspaces/<repo-name>
. However, when I configureENVBUILDER_WORKSPACE_FOLDER
to/home/coder
, it clones it directly in that folder, not/home/coder/<repo-name>
.What can I do here?
The text was updated successfully, but these errors were encountered: