Docker: различия между версиями
Перейти к навигации
Перейти к поиску
FireWolf (обсуждение | вклад) |
FireWolf (обсуждение | вклад) |
||
| Строка 20: | Строка 20: | ||
sudo service docker.io restart | sudo service docker.io restart | ||
= | = Удаление не нужных образов = | ||
docker rmi $(docker images | grep "<none>" | awk "{print \$3}") | docker rmi $(docker images | grep "<none>" | awk "{print \$3}") | ||
Версия 03:02, 30 мая 2017
Настройка для пользователя
http://askubuntu.com/questions/477551/how-can-i-use-docker-without-sudo/477554#477554
Add the docker group if it doesn't already exist:
sudo groupadd docker
Add the connected user "${USER}" to the docker group. Change the user name to match your preferred user:
sudo gpasswd -a ${USER} docker
Restart the Docker daemon:
sudo service docker restart
If you are on Ubuntu 14.04-15.10* use docker.io instead:
sudo service docker.io restart
Удаление не нужных образов
docker rmi $(docker images | grep "<none>" | awk "{print \$3}")