Victoria Dye
31f219515a
fsmonitor: reintroduce core.useBuiltinFSMonitor
...
Reintroduce the 'core.useBuiltinFSMonitor' config setting (originally added
in 0a756b2a25 (fsmonitor: config settings are repository-specific,
2021-03-05)) after its removal from the upstream version of FSMonitor.
Upstream, the 'core.useBuiltinFSMonitor' setting was rendered obsolete by
"overloading" the 'core.fsmonitor' setting to take a boolean value. However,
several applications (e.g., 'scalar') utilize the original config setting,
so it should be preserved for a deprecation period before complete removal:
* if 'core.fsmonitor' is a boolean, the user is correctly using the new
config syntax; do not use 'core.useBuiltinFSMonitor'.
* if 'core.fsmonitor' is unspecified, use 'core.useBuiltinFSMonitor'.
* if 'core.fsmonitor' is a path, override and use the builtin FSMonitor if
'core.useBuiltinFSMonitor' is 'true'; otherwise, use the FSMonitor hook
indicated by the path.
Additionally, for this deprecation period, advise users to switch to using
'core.fsmonitor' to specify their use of the builtin FSMonitor.
Signed-off-by: Victoria Dye <vdye@github.com >
2023-01-12 17:07:41 +01:00
..
2023-01-12 17:07:41 +01:00
2022-11-23 11:22:24 +09:00
2022-09-07 09:46:05 -07:00
2022-12-13 21:25:28 +09:00
2022-11-18 18:44:01 -05:00
2022-10-21 11:39:38 -07:00
2022-09-23 10:01:07 -07:00
2022-10-28 11:26:54 -07:00
2022-10-30 21:04:44 -04:00
2022-06-13 11:57:03 -07:00
2023-01-12 17:07:31 +01:00
2022-09-14 12:56:40 -07:00
2022-09-14 12:56:40 -07:00
2022-10-13 09:32:57 -07:00
2022-09-07 09:46:05 -07:00
2022-06-15 13:19:47 -07:00
2022-09-07 09:46:07 -07:00
2022-09-07 09:46:07 -07:00
2022-08-12 13:20:02 -07:00
2022-09-12 11:04:55 -07:00
2022-08-05 15:52:14 -07:00
2022-09-07 09:46:07 -07:00
2022-08-03 13:47:11 -07:00
2022-10-28 11:26:54 -07:00
2022-09-14 12:56:40 -07:00
2022-09-07 09:46:07 -07:00
2022-10-28 11:26:54 -07:00
2022-09-07 09:46:06 -07:00
2022-07-14 15:08:29 -07:00
2022-10-13 09:32:56 -07:00
2022-11-09 21:28:53 -05:00
2022-11-12 23:57:34 -05:00
2022-07-19 12:45:31 -07:00
2022-07-19 12:45:31 -07:00
2022-08-12 13:20:02 -07:00
2022-10-13 09:32:55 -07:00
2022-06-13 11:59:16 -07:00
2022-10-25 17:11:43 -07:00
2022-09-07 09:46:06 -07:00
2022-10-13 09:32:54 -07:00
2022-09-07 09:46:06 -07:00
2022-09-07 09:46:07 -07:00
2022-08-29 14:39:13 -07:00
2022-10-25 15:44:18 -07:00
2022-10-05 11:05:23 -07:00
2022-09-07 09:46:05 -07:00
2022-09-07 09:46:05 -07:00
2022-10-13 09:32:55 -07:00
2022-08-04 14:12:23 -07:00
2022-09-07 09:46:05 -07:00
2022-09-07 09:46:07 -07:00
2022-10-28 11:26:54 -07:00
2022-09-14 12:56:40 -07:00
2022-11-07 21:55:06 -05:00
2022-04-08 11:21:11 -07:00
2022-09-07 09:46:06 -07:00
2022-11-14 22:39:25 -05:00
2022-10-13 09:32:55 -07:00
2022-10-22 22:21:26 -07:00
2022-09-14 12:56:40 -07:00
2022-09-07 09:46:05 -07:00
2022-09-21 10:21:46 -07:00
2022-10-13 09:32:56 -07:00
2022-09-07 09:46:06 -07:00
2022-05-04 10:30:01 -07:00
2022-05-26 15:48:26 -07:00
2022-10-30 19:58:46 -04:00
2022-10-24 15:44:20 -07:00
2022-10-13 09:32:55 -07:00
2022-11-14 16:55:50 -05:00
2022-08-26 09:49:26 -07:00
2022-10-13 09:32:56 -07:00
2022-10-30 21:04:42 -04:00
2022-10-13 09:32:57 -07:00
2022-10-13 09:32:58 -07:00
2022-05-09 10:53:58 -07:00
2022-10-24 13:39:42 -07:00
2022-10-13 09:32:56 -07:00
2022-10-13 09:32:56 -07:00
2022-11-17 16:22:52 -05:00
2022-11-29 10:41:06 +09:00
2022-10-12 11:08:37 -07:00
2022-10-13 09:32:56 -07:00
2022-10-24 14:48:05 -07:00
2022-10-28 11:26:54 -07:00
2022-10-13 09:32:55 -07:00
2022-10-13 09:32:56 -07:00
2022-10-28 11:26:54 -07:00
2022-10-13 09:32:55 -07:00
2022-09-07 09:46:07 -07:00
2022-10-09 12:31:24 -07:00
2022-10-13 09:32:56 -07:00
2022-09-12 11:04:55 -07:00
2022-10-13 09:32:56 -07:00
2022-10-13 09:32:56 -07:00
2022-09-12 11:04:55 -07:00
2022-10-13 09:32:55 -07:00
2022-10-13 09:32:56 -07:00
2022-10-13 09:32:55 -07:00
2022-10-13 09:32:56 -07:00
2022-10-13 09:32:55 -07:00
2022-10-27 15:24:09 -07:00
2022-11-23 11:22:25 +09:00
2022-08-04 14:12:23 -07:00
2022-08-04 14:12:24 -07:00
2022-10-30 19:58:40 -04:00
2022-08-14 23:19:28 -07:00
2022-08-04 14:12:24 -07:00
2022-08-04 14:12:24 -07:00
2022-09-16 08:38:03 -07:00
2022-08-04 14:12:23 -07:00
2022-08-04 14:12:24 -07:00
2022-08-04 14:12:24 -07:00
2022-09-16 08:38:03 -07:00
2022-08-10 14:07:37 -07:00
2022-10-30 19:58:46 -04:00
2022-10-25 15:44:19 -07:00
2022-08-04 14:12:23 -07:00
2022-11-30 10:57:19 +09:00
2022-11-14 18:14:58 -05:00
2022-09-21 10:28:35 -07:00
2022-08-03 13:57:25 -07:00
2022-11-17 16:22:52 -05:00
2022-09-19 14:36:08 -07:00
2022-10-01 15:58:36 -07:00
2022-09-02 10:02:55 -07:00
2022-10-07 14:59:25 -07:00
2022-04-21 09:50:25 -07:00
2022-09-16 08:38:03 -07:00