You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
philderbeast
changed the title
Switch to using a common .project file extension for projects
Switch to using a common .project file extension for projects?
Apr 23, 2024
It's helpful to have a common suffix to enable filtering for just cabal.project and imported files.
I imagine this would also be helpful for .gitignores and file highlighting.
Can we please change the project names to have a common
.project
file extension instead of a commoncabal.project
prefix?I only use
.project
for full-blown projects. For imported project fragments I'll use.config
.If adopted, we'd have these project names;
The text was updated successfully, but these errors were encountered: