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

Allow user-specific configuration #1419

Open
10 tasks
sunshowers opened this issue Apr 5, 2024 · 0 comments
Open
10 tasks

Allow user-specific configuration #1419

sunshowers opened this issue Apr 5, 2024 · 0 comments

Comments

@sunshowers
Copy link
Member

Originally came up in #1348 -- at some point we'll likely need to grow a way to do user-specific configuration, not just repository-specific configuration.

Some considerations:

  • Location of config
    • XDG everywhere? What about Windows? https://docs.rs/etcetera can help.
    • Allow config directly in home dir as a fallback?
    • Look at what jj and atuin do
  • Which options should we let users set?
  • What if repository and user configs clash?
    • Probably want repository config to generally override user config, but also let users say they want to override repository config
    • Current method uses environment variables, which always override repository config!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant