Derrick Stolee 247e2f822e
config: replace 'value_regex' with 'value_pattern' ...
The 'value_regex' argument in the 'git config' builtin is poorly named,
especially related to an upcoming change that allows exact string
matches instead of ERE pattern matches.
Perform a mostly mechanical change of every instance of 'value_regex' to
'value_pattern' in the codebase. This is only critical for documentation
and error messages, but it is best to be consistent inside the codebase,
too.
For documentation, use 'value-pattern' which is better punctuation. This
affects Documentation/git-config.txt and the usage in builtin/config.c,
which was already mixed between 'value_regex' and 'value-regex'.
I gave some thought to leaving the value_regex variables inside config.c
that are regex_t pointers. However, it is probably best to keep the name
consistent with the rest of the variables.
This does not update the translations inside the po/ directory, as that
creates conflicts with ongoing work. The input strings should
automatically update through automation, and a few of the output strings
currently use "[value_regex]" directly.
Signed-off-by: Derrick Stolee <dstolee@microsoft.com >
Signed-off-by: Junio C Hamano <gitster@pobox.com >
2020-11-25 14:43:48 -08:00
2020-11-18 13:32:53 -08:00
2020-07-06 22:09:16 -07:00
2020-11-18 13:33:25 -08:00
2020-10-16 12:29:28 -07:00
2020-03-29 09:25:38 -07:00
2020-11-01 15:54:14 -08:00
2020-08-04 18:34:02 -07:00
2020-06-17 21:54:05 -07:00
2020-11-11 13:18:38 -08:00
2020-05-18 13:18:56 -07:00
2019-12-13 12:18:07 -08:00
2020-09-01 12:17:05 -07:00
2020-11-18 13:32:53 -08:00
2020-02-18 13:53:30 -08:00
2020-09-25 15:25:38 -07:00
2019-12-04 10:10:37 -08:00
2020-10-20 11:57:40 -07:00
2020-08-20 16:34:37 -07:00
2020-09-19 15:56:06 -07:00
2020-10-08 14:01:15 -07:00
2020-08-28 14:06:06 -07:00
2020-11-04 14:04:44 -08:00
2020-11-04 14:04:44 -08:00
2020-06-08 18:06:28 -07:00
2020-07-30 09:16:48 -07:00
2020-07-01 15:54:05 -07:00
2019-11-07 13:42:00 +09:00
2020-03-17 15:02:23 -07:00
2020-10-27 15:09:51 -07:00
2020-10-20 11:57:40 -07:00
2020-10-27 15:09:50 -07:00
2020-11-02 13:17:39 -08:00
2020-04-03 11:37:22 -07:00
2020-10-20 11:57:35 -07:00
2020-11-25 14:43:48 -08:00
2020-05-08 14:25:01 -07:00
2020-05-18 13:19:33 -07:00
2019-11-07 13:42:00 +09:00
2020-09-20 21:30:26 -07:00
2020-09-21 13:37:03 -07:00
2020-09-21 13:37:03 -07:00
2020-06-25 14:19:23 -07:00
2020-10-04 12:56:29 -07:00
2020-08-18 13:25:05 -07:00
2020-10-20 12:22:25 -07:00
2020-09-18 15:41:56 -07:00
2020-09-25 10:59:44 -07:00
2020-10-20 11:57:40 -07:00
2020-11-01 15:54:14 -08:00
2020-08-04 18:34:01 -07:00
2020-06-10 18:06:34 -07:00
2020-08-31 11:44:33 -07:00
2020-08-17 10:50:14 -07:00
2020-10-08 14:01:19 -07:00
2020-11-01 15:54:14 -08:00
2020-11-04 14:04:44 -08:00
2020-06-25 09:18:53 -07:00
2020-11-04 14:04:44 -08:00
2020-09-28 16:09:04 -07:00
2020-10-16 08:36:42 -07:00
2020-05-05 16:07:30 -07:00
2020-08-11 14:05:26 -07:00
2020-08-03 12:40:09 -07:00
2020-11-05 12:52:50 -08:00
2020-08-06 13:01:03 -07:00
2020-04-29 16:15:27 -07:00
2020-10-03 09:59:19 -07:00
2019-12-05 12:52:44 -08:00
2020-04-06 13:42:43 -07:00
2020-10-20 11:57:40 -07:00
2020-10-27 11:40:33 -07:00
2020-04-06 13:42:43 -07:00
2020-10-07 09:49:05 -07:00
2020-07-08 22:08:54 -07:00
2019-11-20 10:19:58 +09:00
2020-10-20 11:57:40 -07:00
2020-02-19 10:56:49 -08:00
2020-10-20 11:57:40 -07:00
2020-09-27 12:21:05 -07:00
2020-08-17 10:50:14 -07:00
2020-06-22 15:55:03 -07:00
2020-02-19 10:56:49 -08:00
2020-06-24 09:14:21 -07:00
2020-10-20 11:57:40 -07:00
2020-10-08 09:25:29 -07:00
2020-09-18 15:41:56 -07:00
2020-01-22 12:27:49 -08:00
2020-07-27 10:06:49 -07:00
2020-10-12 12:24:29 -07:00
2020-09-09 12:58:37 -07:00
2020-10-22 10:29:30 -07:00
2020-03-17 15:02:24 -07:00
2020-01-08 08:56:40 -08:00
2020-08-04 18:34:01 -07:00
2020-06-25 09:18:53 -07:00
2020-09-20 21:29:02 -07:00
2020-11-11 13:18:38 -08:00
2020-11-01 15:54:14 -08:00
2020-06-24 09:14:21 -07:00
2020-07-06 22:09:13 -07:00
2019-11-10 18:02:14 +09:00
2020-10-04 12:54:07 -07:00
2020-07-18 13:43:34 -07:00
2020-11-01 15:54:14 -08:00
2020-11-01 15:54:14 -08:00
2020-08-04 18:34:02 -07:00
2020-03-29 09:25:38 -07:00
2020-03-29 09:25:38 -07:00
2020-10-20 11:57:35 -07:00
2019-11-11 11:04:46 +09:00
2020-11-02 13:17:47 -08:00
2020-03-30 11:16:41 -07:00
2020-08-17 10:50:14 -07:00
2020-07-06 22:09:15 -07:00
2020-11-04 14:04:44 -08:00
2020-09-30 14:52:00 -07:00
2020-09-18 15:41:56 -07:00
2020-07-08 22:08:54 -07:00
2020-08-17 17:02:49 -07:00
2020-07-08 22:08:53 -07:00
2020-10-20 11:57:40 -07:00
2020-11-02 13:17:47 -08:00
2020-03-31 16:08:02 -07:00
2020-06-25 09:18:53 -07:00
247e2f822e