diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2007-03-02 21:53:33 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-03-03 19:59:37 -0800 |
| commit | 118f8b241355b38cd21e644e8620d81f10190627 (patch) | |
| tree | 49cdd292779b9204b5cf2ef85981952f542c3848 /Documentation/git-config.txt | |
| parent | 253e772edeb56092e0fad43ec0640658671313c5 (diff) | |
| download | git-118f8b241355b38cd21e644e8620d81f10190627.tar.gz | |
git-config: document --rename-section, provide --remove-section
This patch documents the previously undocumented option --rename-section
and adds a new option to zap an entire section.
Signed-off-by: Paolo Bonzini <bonzini@gnu.org>
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-config.txt')
| -rw-r--r-- | Documentation/git-config.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt index 6624484fe1..68de5881bd 100644 --- a/Documentation/git-config.txt +++ b/Documentation/git-config.txt @@ -16,6 +16,8 @@ SYNOPSIS 'git-config' [--global] [type] --get-all name [value_regex] 'git-config' [--global] [type] --unset name [value_regex] 'git-config' [--global] [type] --unset-all name [value_regex] +'git-config' [--global] [type] --rename-section old_name new_name +'git-config' [--global] [type] --remove-section name 'git-config' [--global] -l | --list DESCRIPTION @@ -74,6 +76,12 @@ OPTIONS --global:: Use global ~/.gitconfig file rather than the repository .git/config. +--remove-section:: + Remove the given section from the configuration file. + +--rename-section:: + Rename the given section to a new name. + --unset:: Remove the line matching the key from config file. |