diff options
author | Tom Willemse | 2013-05-25 20:49:55 +0200 |
---|---|---|
committer | Tom Willemse | 2013-05-25 20:49:55 +0200 |
commit | 6c05056f84c0ca6fc79fdb2a375b425bc53944c2 (patch) | |
tree | df8950e14bda3a2bbeb7e5be8144e9553e17aa5d /zsh/Makefile | |
parent | 439a262ec4f9f9a3dd73a69d17f3ef3765036dec (diff) | |
download | gitto-6c05056f84c0ca6fc79fdb2a375b425bc53944c2.tar.gz gitto-6c05056f84c0ca6fc79fdb2a375b425bc53944c2.zip |
Allow multiple values for config settings
Setting a list as a value for `global-config' will instruct gitto to
place that setting in the config more than once. For example:
,----
| (set! global-config
| '(("remote \"origin\""
| ("url" . "git@somehost.com:~a.git")
| ("pushurl" "git@somehost.com:~a.git"
| "git@someotherhost.com:user/~a.git"))))
`----
Will produce output similar to:
,----
| [remote "origin"]
| url = git@somehost.com:repo-name.git
| pushurl = git@somehost.com:repo-name.git
| pushurl = git@someotherhost.com:user/repo-name.git
`----
The ordering may vary depending on what was already found in the
`origin' remote's settings.
gitto doesn't know or care which settings can and cannot appear more
than once in a configuration, it is up to the user to provide valid
values.
Diffstat (limited to 'zsh/Makefile')
0 files changed, 0 insertions, 0 deletions