core: tools: zenoh: Add zenoh-plugin-remote-api

patrickelectric · patrickelectric · commit 5c7565ef21eb · 2025-05-06T12:16:07.000-03:00
Signed-off-by: Patrick José Pereira &lt;patrickelectric@gmail.com&gt;
diff --git a/core/tools/zenoh/bootstrap.sh b/core/tools/zenoh/bootstrap.sh
@@ -9,6 +9,7 @@ BINARIES=(
   "zenoh"
   "zenoh-plugin-webserver"
   "zenoh-backend-filesystem"
+  "zenoh-plugin-remote-api"
 )
 
 echo "Installing project $PROJECT_NAME and friends with version $VERSION"

Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,7 @@ BINARIES=(`
`9`	`9`	`"zenoh"`
`10`	`10`	`"zenoh-plugin-webserver"`
`11`	`11`	`"zenoh-backend-filesystem"`
	`12`	`+ "zenoh-plugin-remote-api"`
`12`	`13`	`)`
`13`	`14`
`14`	`15`	`echo "Installing project $PROJECT_NAME and friends with version $VERSION"`