Skip to content
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

Proposed feature: global configuration file #28

Closed
4 tasks
jonasbn opened this issue Mar 5, 2023 · 0 comments · Fixed by #30
Closed
4 tasks

Proposed feature: global configuration file #28

jonasbn opened this issue Mar 5, 2023 · 0 comments · Fixed by #30
Assignees
Labels
enhancement New feature or request

Comments

@jonasbn
Copy link
Owner

jonasbn commented Mar 5, 2023

🔤 User Story

As a developer
I can specify a a global configuration file
so I do not have to specify my favorite command line options on every invocation of stevedore across repositories/projects

ℹ️ Notes

  • Since stevedore has several command line flags, it would be nice to support a configuration file, so preferred behavior could be based on a central configuration
  • The configuration file could control:
    • exclusion
    • inclusion
    • colors
    • color output
    • color inversion
    • verbosity
    • debug level
    • path to global ignore file
    • full path output
    • no full path output
  • The configuration file could be located in:
    • $HOME/.config/stevedore.json
    • or in a local repository as .stevedore.json
    • The local file could have precedence over the global one
  • This story originates from issue Proposed feature: configuration file #11
    • implementation introduced with version v0.9.0

🆗 Acceptance Criteria

  • I can specify a global configuration file in $HOME/.config/
  • I can specify a global configuration file as $HOME/.config/stevedore.json
  • The local configuration file take precedence over the global one
  • Command line options take precedence over configuration files

➡️ Resources and References

@jonasbn jonasbn self-assigned this Mar 5, 2023
@jonasbn jonasbn added the enhancement New feature or request label Mar 5, 2023
@jonasbn jonasbn pinned this issue Mar 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant