lib.generators.toGitINI

Generate a git-config file from an attrset.

It has two major differences from the regular INI format:

1. values are indented with tabs
2. sections can have sub-sections

Further: git-config examples

Examples

generators.toGitINI {
  url."ssh://[email protected]/".insteadOf = "https://github.com";
  user.name = "edolstra";
}

> [url "ssh://[email protected]/"]
>   insteadOf = "https://github.com"
>
> [user]
>   name = "edolstra"

Inputs

attrs

Key-value pairs to be converted to a git-config file. See the git-config documentation for possible values.

Noogle detected

attrs: toINI_ (gitFlattenAttrs attrs)