Merge branch 'master' into save-debs

.github/workflows/build-image.yaml

@@ -27,3 +27,9 @@ jobs:
           prerelease: true
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Upload image to artifacts
+        uses: actions/upload-artifact@v3
+        with:
+          name: image
+          path: images/clover_*.zip
+          retention-days: 1

builder/image-ros.sh

@@ -180,11 +180,14 @@ source /opt/ros/${ROS_DISTRO}/setup.bash
 source /home/pi/catkin_ws/devel/setup.bash
 EOF
 
+echo "List of all downloaded deb-files"
+ls /var/cache/apt/archives
+
 #echo_stamp "Removing local apt mirror"
 # Restore original sources.list
 #mv /var/sources.list.bak /etc/apt/sources.list
 # Clean apt cache
-apt-get clean -qq > /dev/null
+#apt-get clean -qq > /dev/null
 # Remove local mirror repository key
 #apt-key del COEX-MIRROR