実際のところ
何らかの事情で導入済みのものを再インストールしなくてはならない場合、"--reinstall"のオプションをつけると上書きが可能です。
$ rosdep install --from-paths src --ignore-src --rosdistro $ROS_DISTRO -y --reinstall
何らかの事情で導入済みのものを再インストールしなくてはならない場合、"--reinstall"のオプションをつけると上書きが可能です。
$ rosdep install --from-paths src --ignore-src --rosdistro $ROS_DISTRO -y --reinstall