add a function to rename sections in the config
commit0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Sat, 16 Dec 2006 14:14:14 +0000 (16 15:14 +0100)
committerJunio C Hamano <junkio@cox.net>
Sat, 16 Dec 2006 21:28:20 +0000 (16 13:28 -0800)
tree56b2353219b7d37819c93714618caaa344635904
parentb1bfcae438adb485bb66e2f59396373809e346e6
add a function to rename sections in the config

Given a config like this:

# A config
[very.interesting.section]
not

The command

$ git repo-config --rename-section very.interesting.section bla.1

will lead to this config:

# A config
[bla "1"]
not

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
builtin-repo-config.c
cache.h
config.c
t/t1300-repo-config.sh