tools: strip binaries to save disk space

Author: Williangalvani

core/Dockerfile

@@ -28,6 +28,7 @@ FROM bluerobotics/blueos-base:0.2.2 AS base
 # Download binaries
 FROM base AS download-binaries
 COPY tools /home/pi/tools
+RUN apt update && apt install -y --no-install-recommends binutils
 RUN /home/pi/tools/install-static-binaries.sh
 
 # Generation of python virtual environment for our libraries and services

core/tools/bridges/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/linux2rest/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/machineid/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/mavlink2rest/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/mavlink_camera_manager/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/mavlink_server/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/mcap-extractor/bootstrap.sh

@@ -47,6 +47,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$BINARY_PATH")"
 

core/tools/mcap/bootstrap.sh

@@ -47,6 +47,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"
 

core/tools/recorder/bootstrap.sh

@@ -51,6 +51,7 @@ echo "Installing to $BINARY_PATH"
 
 wget -q "$REMOTE_URL" -O "$BINARY_PATH"
 chmod +x "$BINARY_PATH"
+strip "$BINARY_PATH"
 
 echo "Installed binary type: $(file "$(which "$BINARY_PATH")")"