docker安装和使用 -- px4-dev-nuttx-focal为例

安装docker

sudo apt-get update
sudo apt install docker.io

镜像源设置

1.可science Internet

开启代 理后，还需要设置docker的服务器，参考教程

sudo mkdir -p /etc/systemd/system/docker.service.d
sudo vi /etc/systemd/system/docker.service.d/proxy.conf

在新建的proxy.conf里添加以下内容并保存，假设100.100.100.100是你的代理服务器地址，58880是代理服务器端口：

Environment="HTTP_PROXY=http://100.100.100.100:58880/"
Environment="HTTPS_PROXY=http://100.100.100.100:58880/"
Environment="NO_PROXY=localhost,127.0.0.1"

重启docker

sudo systemctl daemon-reload
sudo systemctl restart docker

2.修改国内源，参考教程

未测试成功

用户添加权限

#创建 docker 组（可能不是必需的）
sudo groupadd docker
#将您的用户添加到 docker 组。
sudo usermod -aG docker $ USER
#在使用 docker 之前再次登录/注销！

docker相关指南

docker入门指南