Compare commits

..

1 Commits

Author SHA1 Message Date
Oleg Kalachev
2262fff332 image: symlink assets instead of copying in documentation to save space 2023-11-03 06:27:32 +03:00
2 changed files with 3 additions and 10 deletions

View File

@@ -27,9 +27,3 @@ jobs:
prerelease: true prerelease: true
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} 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

View File

@@ -125,6 +125,8 @@ cd /home/pi/catkin_ws/src/clover
builder/assets/install_gitbook.sh builder/assets/install_gitbook.sh
gitbook install gitbook install
gitbook build gitbook build
# replace assets copy to assets symlink to save space
rm -rf _book/assets && ln -s ../docs/assets _book/assets
touch node_modules/CATKIN_IGNORE docs/CATKIN_IGNORE _book/CATKIN_IGNORE clover/www/CATKIN_IGNORE apps/CATKIN_IGNORE # ignore documentation files by catkin touch node_modules/CATKIN_IGNORE docs/CATKIN_IGNORE _book/CATKIN_IGNORE clover/www/CATKIN_IGNORE apps/CATKIN_IGNORE # ignore documentation files by catkin
echo_stamp "Installing additional ROS packages" echo_stamp "Installing additional ROS packages"
@@ -180,14 +182,11 @@ source /opt/ros/${ROS_DISTRO}/setup.bash
source /home/pi/catkin_ws/devel/setup.bash source /home/pi/catkin_ws/devel/setup.bash
EOF EOF
echo "List of all downloaded deb-files"
ls /var/cache/apt/archives
#echo_stamp "Removing local apt mirror" #echo_stamp "Removing local apt mirror"
# Restore original sources.list # Restore original sources.list
#mv /var/sources.list.bak /etc/apt/sources.list #mv /var/sources.list.bak /etc/apt/sources.list
# Clean apt cache # Clean apt cache
#apt-get clean -qq > /dev/null apt-get clean -qq > /dev/null
# Remove local mirror repository key # Remove local mirror repository key
#apt-key del COEX-MIRROR #apt-key del COEX-MIRROR