Remove unnecessary PID from ide config

filiptronicek · filiptronicek · commit b2815e3131f2 · 2023-04-28T14:06:18.000Z
diff --git a/supervisor-ide-config.json b/supervisor-ide-config.json
@@ -16,7 +16,7 @@
         "VISUAL": "$EDITOR",
         "GP_OPEN_EDITOR": "$EDITOR",
         "GIT_EDITOR": "$EDITOR",
-        "GP_EXTERNAL_BROWSER": "/ide/xterm/startup.sh --openExternal --port 23000 ${term.pid}",
+        "GP_EXTERNAL_BROWSER": "/ide/xterm/startup.sh --openExternal --port 23000",
         "GP_PREVIEW_BROWSER": "$GP_EXTERNAL_BROWSER"
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@`
`16`	`16`	`"VISUAL": "$EDITOR",`
`17`	`17`	`"GP_OPEN_EDITOR": "$EDITOR",`
`18`	`18`	`"GIT_EDITOR": "$EDITOR",`
`19`		`- "GP_EXTERNAL_BROWSER": "/ide/xterm/startup.sh --openExternal --port 23000 ${term.pid}",`
	`19`	`+ "GP_EXTERNAL_BROWSER": "/ide/xterm/startup.sh --openExternal --port 23000",`
`20`	`20`	`"GP_PREVIEW_BROWSER": "$GP_EXTERNAL_BROWSER"`
`21`	`21`	`}`
`22`	`22`	`}`