feat: add external ROS communication toggle for local workspaces

2026-09-16 15:35:15 +09:00
parent 76a87fc20d
commit 1d959e2c51
9 changed files with 25 additions and 8 deletions
@@ -54,6 +54,7 @@ type ModuleInstallOptions = {

 type RosNetworkConfig = {
  enabled?: boolean | null
+  allowExternal?: boolean
  peer?: RemoteWorkspaceTarget | null
 }