Create better caching of rosdep dependencies
For both devcontainer and deployable container. Also add ability to use docker from inside the devcontainer.
This commit is contained in:
Executable
+7
@@ -0,0 +1,7 @@
|
||||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
ROS_DISTRO="${ROS_DISTRO:-jazzy}"
|
||||
rosdep update --rosdistro "$ROS_DISTRO" >/dev/null 2>&1 || true
|
||||
rosdep keys --from-paths src --ignore-src --rosdistro "$ROS_DISTRO" 2>/dev/null \
|
||||
| xargs rosdep resolve --rosdistro "$ROS_DISTRO" 2>/dev/null \
|
||||
| awk '/^#apt/{a=1;next} /^#/{a=0} a' | sort -u > rosdep-packages.txt
|
||||
Reference in New Issue
Block a user