mirror of
https://github.com/nix-community/home-manager.git
synced 2026-10-02 19:49:18 +00:00
bf3f7a120d
Add programs.astroid.settings for native JSON configuration and generate the configuration file from it. The extraConfig and externalEditor options become deprecated aliases into settings. Home Manager no longer writes its bundled template; Astroid's built-in defaults match it except editor.markdown_processor. Astroid accounts still supply account settings, the notmuch path, and the GPG path as per-key defaults. Empty settings write no file. externalEditor now merges at ordinary priority instead of replacing the editor keys, and priorities on extraConfig sections apply to the section as a unit. The release notes describe both changes.