Skip to content

Commit 7c4634d

Browse files
core: tools: zenoh: Add zenoh-plugin-remote-api
Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>
1 parent cebb23b commit 7c4634d

File tree

1 file changed

+11
-2
lines changed

1 file changed

+11
-2
lines changed

core/tools/zenoh/bootstrap.sh

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ BINARIES=(
99
"zenoh"
1010
"zenoh-plugin-webserver"
1111
"zenoh-backend-filesystem"
12+
"zenoh-plugin-remote-api/zenoh-ts"
1213
)
1314

1415
echo "Installing project $PROJECT_NAME and friends with version $VERSION"
@@ -51,9 +52,17 @@ echo "Downloading binaries..."
5152
DOWNLOAD_FOLDER="/tmp/zenoh_and_friends"
5253
mkdir -p "$DOWNLOAD_FOLDER"
5354
for BINARY in "${BINARIES[@]}"; do
54-
URL="https://download.eclipse.org/zenoh/${BINARY}/${VERSION}/${BINARY}-${VERSION}-${TOOLCHAIN}-standalone.zip"
55+
if [[ "$BINARY" == *"/"* ]]; then
56+
BINARY_URL_PATH="${BINARY%/*}"
57+
BINARY_URL_NAME="${BINARY##*/}"
58+
else
59+
BINARY_URL_PATH="$BINARY"
60+
BINARY_URL_NAME="$BINARY"
61+
fi
62+
63+
URL="https://download.eclipse.org/zenoh/${BINARY_URL_PATH}/${VERSION}/${BINARY_URL_NAME}-${VERSION}-${TOOLCHAIN}-standalone.zip"
5564
echo " - Download: ${URL}"
56-
wget -q "$URL" -O "${DOWNLOAD_FOLDER}/${BINARY}.zip"
65+
wget -q "$URL" -O "${DOWNLOAD_FOLDER}/${BINARY_URL_PATH}.zip"
5766
done
5867
echo "Downloaded all binaries, now installing to $BINARY_PATH"
5968

0 commit comments

Comments
 (0)