cabal-client

cabal-client copied to clipboard

Something like

client.getSettings()
client.saveSettings(settingsObject)

Where settingsObject is an arbitrary JSONable object.

This would be for local client settings like notification options, color themes or light mode vs dark mode, auto-emojification, etc.

We now have ~/.cabal/v1/config.yaml, but cabal-client doesn't expose it yet (clients are accessing it directly). This seems like a perfect place to expose settings like this.

@noffle that's the cli config file. i remember @nikolaiwarner wanting to keep cli and desktop configs separate

other than that, yeah i've been thinking along similar lines of re-using ~/.cabal/v1/config.yml :)

@nikolaiwarner What was the motivation for that? Could we consolidate it by having 'cli:' and 'desktop:' subkeys?

I'm cool with consolidating. I think I advocated for them be as similar as possible so config files could be interchangeable and sharable.

Also, Desktop stores its config as json atm.

Would future client softwares register their preferred subkey with cabal-client?