Files
git/builtin
Taylor Blau fb0dc3bac1 builtin/config.c: support --type=<type> as preferred alias for --<type>
`git config` has long allowed the ability for callers to provide a 'type
specifier', which instructs `git config` to (1) ensure that incoming
values can be interpreted as that type, and (2) that outgoing values are
canonicalized under that type.

In another series, we propose to extend this functionality with
`--type=color` and `--default` to replace `--get-color`.

However, we traditionally use `--color` to mean "colorize this output",
instead of "this value should be treated as a color".

Currently, `git config` does not support this kind of colorization, but
we should be careful to avoid squatting on this option too soon, so that
`git config` can support `--color` (in the traditional sense) in the
future, if that is desired.

In this patch, we support `--type=<int|bool|bool-or-int|...>` in
addition to `--int`, `--bool`, and etc. This allows the aforementioned
upcoming patch to support querying a color value with a default via
`--type=color --default=...`, without squandering `--color`.

We retain the historic behavior of complaining when multiple,
legacy-style `--<type>` flags are given, as well as extend this to
conflicting new-style `--type=<type>` flags. `--int --type=int` (and its
commutative pair) does not complain, but `--bool --type=int` (and its
commutative pair) does.

Signed-off-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2018-04-19 11:49:19 +09:00
..
2017-10-06 10:07:18 +09:00
2018-02-07 12:41:36 -08:00
2018-03-06 14:54:07 -08:00
2018-02-27 10:33:57 -08:00
2017-10-07 16:27:55 +09:00
2018-03-14 12:01:07 -07:00
2018-03-06 14:54:07 -08:00
2018-03-14 12:01:07 -07:00
2018-03-14 12:01:07 -07:00
2018-02-22 10:08:05 -08:00
2018-02-22 10:08:05 -08:00
2017-11-21 14:07:50 +09:00
2017-06-24 14:28:41 -07:00
2018-03-06 14:54:07 -08:00
2018-03-14 12:01:07 -07:00
2017-08-26 22:55:09 -07:00
2018-03-06 14:54:07 -08:00
2018-03-14 12:01:07 -07:00
2018-03-14 12:01:07 -07:00
2017-12-08 09:52:42 -08:00
2018-03-06 14:54:07 -08:00
2017-12-13 11:15:14 -08:00
2017-08-22 10:29:03 -07:00
2017-12-27 11:16:29 -08:00
2018-03-14 12:01:07 -07:00
2017-11-21 14:07:50 +09:00