ubuntu18.04 安装docker并作为APT缓存源的配置文件,可以将ROS等使用apt下载的资源缓存下来,第二次下载时就很快。