-
Notifications
You must be signed in to change notification settings - Fork 846
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Development tools option #2379
Comments
Can you explain the advantage of keeping a list of these tools in the stack configuration as opposed to having a short script that executes these steps? Also, would you define these I believe you can already build project-local tools by defining them in the |
|
I agree.
In general, I'd prefer that stack need as few configuration files as possible. There has been the idea of adding a Given that development tools are something personal that may differ between different developers on a team, I'm not sure that the project configuration is the right place for this. But keeping them in the global config (
and run Opinions, @chrisdone, @mgsloan, @borsboom? |
But global config may have different resolver which may be significant in some cases. |
Oh, I missed your idea: well, user can have tools list in global config, but install it per-project, right? |
You mean the "(implicit) global project" here, e.g. I'll wait for more feedback from others at this point. |
I got here trying to solve the same problem. How do I handle dev dependencies, e.g: Did something emerge to solve that use-case since you folks last talked here? |
The flag |
It's a feature request.
As I understood, in case when I need some local development tool, e.g.
intero
, I should make next steps:Would it be reasonable to make this step more declarative and add field with packages list which just install with same resolver?
Like
And something like
The text was updated successfully, but these errors were encountered: