If a devworkspace has a selected starter project, but no regular projects, the $PROJECT_SOURCE environment variable will be set to /projects, instead of /projects/<selected-starterProject-name>.
Currently, the list of projects that we search when determining what $PROJECT_SOURCE should be set to only contains regular projects, and not starterProjects.
$PROJECT_SOURCE should be set to the selected starterProject (in this case, community). In this case, $PROJECT_SOURCE should be /projects/community.
If our devworkspace had a regular project, I would expect it to take precedence over any starterProjects as well.
E.g. the following devworkspace would have $PROJECT_SOURCE set to /projects/web-nodejs-sample:
Description
If a devworkspace has a selected starter project, but no regular projects, the
$PROJECT_SOURCE
environment variable will be set to/projects
, instead of/projects/<selected-starterProject-name>
.Currently, the list of projects that we search when determining what
$PROJECT_SOURCE
should be set to only contains regular projects, and not starterProjects.How To Reproduce
Steps to reproduce the behavior:
$PROJECT_SOURCE
environment variable in the web-terminal container.Expected behavior
$PROJECT_SOURCE
should be set to the selected starterProject (in this case,community
). In this case,$PROJECT_SOURCE
should be/projects/community
.If our devworkspace had a regular project, I would expect it to take precedence over any starterProjects as well. E.g. the following devworkspace would have
$PROJECT_SOURCE
set to/projects/web-nodejs-sample
:Additional context
Related Che issue