From 017c52ecae86af88ee312da610da94e4f56443b8 Mon Sep 17 00:00:00 2001 From: Piyush Jain Date: Tue, 27 Sep 2022 10:14:09 -0700 Subject: [PATCH] Update server extension disable instructions (#998) The current server extension disable instructions are incorrect, they are missing the keyword `extension`. --- docs/source/developers/extensions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/developers/extensions.rst b/docs/source/developers/extensions.rst index f9e1178d26..180750e008 100644 --- a/docs/source/developers/extensions.rst +++ b/docs/source/developers/extensions.rst @@ -399,7 +399,7 @@ Putting it all together, authors can distribute their extension following this s .. code-block:: console - jupyter server disable myextension + jupyter server extension disable myextension which will change the boolean value in the JSON file above.