2022-09-06 15:50:36 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.editorconfig;
|
|
|
|
|
|
|
|
iniFormat = pkgs.formats.ini { };
|
|
|
|
|
|
|
|
in {
|
|
|
|
meta.maintainers = with maintainers; [ loicreynier ];
|
|
|
|
|
|
|
|
options.editorconfig = {
|
2023-07-02 01:45:18 +02:00
|
|
|
enable = mkEnableOption "EditorConfig home configuration file";
|
2022-09-06 15:50:36 +02:00
|
|
|
|
|
|
|
settings = mkOption {
|
|
|
|
type = iniFormat.type;
|
|
|
|
default = { };
|
2023-07-02 01:45:18 +02:00
|
|
|
description = ''
|
2023-07-01 01:30:13 +02:00
|
|
|
Configuration written to {file}`$HOME/.editorconfig`.
|
|
|
|
`root = true` is automatically added to the file,
|
2022-09-06 15:50:36 +02:00
|
|
|
it must not be added here.
|
2023-07-01 01:30:13 +02:00
|
|
|
See <https://editorconfig.org> for documentation.
|
2022-09-06 15:50:36 +02:00
|
|
|
'';
|
|
|
|
example = literalExpression ''
|
|
|
|
{
|
|
|
|
"*" = {
|
|
|
|
charset = "utf-8";
|
|
|
|
end_of_line = "lf";
|
|
|
|
trim_trailing_whitespace = true;
|
|
|
|
insert_final_newline = true;
|
|
|
|
max_line_width = 78;
|
|
|
|
indent_style = "space";
|
|
|
|
indent_size = 4;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf (cfg.enable && cfg.settings != { }) {
|
|
|
|
home.file.".editorconfig".text = let
|
|
|
|
renderedSettings = generators.toINIWithGlobalSection { } {
|
|
|
|
globalSection = { root = true; };
|
|
|
|
sections = cfg.settings;
|
|
|
|
};
|
|
|
|
in ''
|
|
|
|
# Generated by Home Manager
|
|
|
|
${renderedSettings}
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|