From 143fefe9010f329dc56df238fa9b97048f630843 Mon Sep 17 00:00:00 2001
From: Mark Milligan <mtm20176@gmail.com>
Date: Tue, 8 Nov 2022 07:13:48 -0600
Subject: [PATCH] docs: correct path to jetbrains ide bin path

---
 workspaces/editors.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspaces/editors.md b/workspaces/editors.md
index e1ba28da3..a20c4184d 100644
--- a/workspaces/editors.md
+++ b/workspaces/editors.md
@@ -159,7 +159,7 @@ JetBrains IDE directory to point the default Gateway directory to the IDE
 directory. This step must be done before configuring Gateway.
 
 ```sh
-cd /opt/idea
+cd /opt/idea/bin
 ./remote-dev-server.sh registerBackendLocationForGateway
 ```