diff options
| author | cyqsimon <28627918+cyqsimon@users.noreply.github.com> | 2023-10-31 11:26:36 +0800 |
|---|---|---|
| committer | cyqsimon <28627918+cyqsimon@users.noreply.github.com> | 2023-12-11 10:20:10 +0800 |
| commit | f705fcb98402f8c0e2165ed22d263f1927acf452 (patch) | |
| tree | 77fb672d7b74c9af9005fddd2998ebdcdf0a0c1d /src | |
| parent | 9ca1f20f43760126000fefbe995cb1ab20eb9f80 (diff) | |
Add global git-config example
Diffstat (limited to 'src')
| -rw-r--r-- | src/syntax_mapping/builtins/git-config.toml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/syntax_mapping/builtins/git-config.toml b/src/syntax_mapping/builtins/git-config.toml new file mode 100644 index 00000000..44a49a25 --- /dev/null +++ b/src/syntax_mapping/builtins/git-config.toml @@ -0,0 +1,10 @@ +# Global git config files rooted in `$XDG_CONFIG_HOME/git/` or `$HOME/.config/git/` +# See e.g. https://git-scm.com/docs/git-config#FILES + +[mappings] +"Git Config" = ["${XDG_CONFIG_HOME}/git/config", "${HOME}/.config/git/config"] +"Git Ignore" = ["${XDG_CONFIG_HOME}/git/ignore", "${HOME}/.config/git/ignore"] +"Git Attributes" = [ + "${XDG_CONFIG_HOME}/git/attributes", + "${HOME}/.config/git/attributes", +] |