From d9a00b6f8b1f25587771f41c5b9cf3d74f49f46e Mon Sep 17 00:00:00 2001 From: Nathan Sobo Date: Tue, 23 Jul 2024 18:53:46 +0200 Subject: [PATCH] Update setting name in REPL docs (#15017) cc @rgbkrk @iamnbutler Release Notes: - N/A --- docs/src/repl.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/repl.md b/docs/src/repl.md index 07ee9e2393330adf53b05a4ee4e480707c257d4b..4890d478f70893844044b83f787530ab25d0703a 100644 --- a/docs/src/repl.md +++ b/docs/src/repl.md @@ -53,7 +53,7 @@ Assign kernels by name to languages in your `settings.json`. ```jsonc { "jupyter": { - "kernels": { + "kernel_selections": { "python": "conda-env", "typescript": "deno-debug" }