Default devfile name
See original GitHub issueDescription
The devfile is the new format that we use to define Che workspaces (c.f. http://redhat-developer.github.io/devfile).
We want users to include a devfile at the root of their github repository: they can then open a corresponding Che workspace just by opening the following URL:
https://<your-che-host>/f?url=<your-github-repo>
To support this use case we currently look for a specific file named .devfile
at the root of the repository (<your-github-repo>/.devfile
).
But .devfile
may not be a good name because we don’t get yaml syntax highlighting in most of the IDEs (Che included) (c.f. #12675). We could use .devfile.yml
but what about devfile.yml
or Devfile
?
What name do you prefer? Please add a 👍 to one of the comments below that correspond to your preferred naming.
Issue Analytics
- State:
- Created 5 years ago
- Comments:15 (15 by maintainers)
Top GitHub Comments
devfile.yml
Without a dot because do we really need to “hide” the file?
.devfile.yml
That’s similar to
.travis.yml
and allow to have yaml syntax highlighting.