diff --git a/dockerfiles/extra_libs/humble_plugins.txt b/dockerfiles/extra_libs/humble_plugins.txt deleted file mode 100644 index 7ec7e1d8f9a6db4d6312380a670bd676b0d8045c..0000000000000000000000000000000000000000 --- a/dockerfiles/extra_libs/humble_plugins.txt +++ /dev/null @@ -1,20 +0,0 @@ -# Read the plugin list and copy the plugins to their destinations -# RUN if [ -f "${ROS_DISTRO}_plugins.txt" ]; \ -# then \ -# while IFS= read -r line; \ -# do \ -# echo "Processing line: $line"; \ -# if [[ "$line" == \#* ]]; \ -# then \ -# echo "Skipping ${line}"; \ -# else \ -# plugin_name=$(echo "$line" | awk '{print $1}'); \ -# destination=$(echo "$line" | awk '{print $2}'); \ -# echo "Coping ${plugin_name} into ${destination}"; \ -# mkdir -p "$destination" && cp -r "$plugin_name" "$destination/"; \ -# fi; \ -# done < ${ROS_DISTRO}_plugins.txt ; \ -# fi -# -# list of files and destination folders -librealsense_gazebo_plugin.so /usr/lib/x86_64-linux-gnu/gazebo-11/plugins diff --git a/dockerfiles/extra_libs/librealsense_gazebo_plugin.so b/dockerfiles/extra_libs/librealsense_gazebo_plugin.so deleted file mode 100755 index 26917074b53ed1328ef820e7dad37043b5be3c53..0000000000000000000000000000000000000000 Binary files a/dockerfiles/extra_libs/librealsense_gazebo_plugin.so and /dev/null differ diff --git a/dockerfiles/extra_libs/sources.txt b/dockerfiles/extra_libs/sources.txt deleted file mode 100644 index af5d4bf60ab4f604995880609d0d7e43829a35cc..0000000000000000000000000000000000000000 --- a/dockerfiles/extra_libs/sources.txt +++ /dev/null @@ -1,3 +0,0 @@ -https://github.com/sharkdp/bat/releases/ -https://github.com/lsd-rs/lsd/releases -https://github.com/BurntSushi/ripgrep/releases