From 383711fcd8a848a2a20f507e425b3699caedd2e3 Mon Sep 17 00:00:00 2001
From: Ilya Grigoriev <ilyagr@users.noreply.github.com>
Date: Wed, 10 Apr 2024 22:29:50 -0700
Subject: [PATCH] config docs: document valid `fsmonitor` values

I was wondering how to disable the watchman in a repo if it's enabled in
the user config.
---
 cli/src/config-schema.json | 10 ++++++++++
 docs/config.md             |  3 +++
 2 files changed, 13 insertions(+)

diff --git a/cli/src/config-schema.json b/cli/src/config-schema.json
index 7d5c5363ec..340eaa222a 100644
--- a/cli/src/config-schema.json
+++ b/cli/src/config-schema.json
@@ -155,6 +155,16 @@
                 }
             }
         },
+        "core": {
+            "type": "object",
+            "properties": {
+                "fsmonitor": {
+                    "type": "string",
+                    "enum": ["none", "watchman"],
+                    "description": "Whether to use an external filesystem monitor, useful for large repos"
+                }
+            }
+        },
         "colors": {
             "type": "object",
             "description": "Mapping from jj formatter labels to colors",
diff --git a/docs/config.md b/docs/config.md
index 7429a833e3..633da13f59 100644
--- a/docs/config.md
+++ b/docs/config.md
@@ -718,6 +718,9 @@ In large repositories, it may be beneficial to use a "filesystem monitor" to
 track changes to the working copy. This allows `jj` to take working copy
 snapshots without having to rescan the entire working copy.
 
+This is governed by the `core.fsmonitor` option. Currently, the valid values are
+`"none"` or `"watchman"`.
+
 ### Watchman
 
 To configure the Watchman filesystem monitor, set