Docker: различия между версиями
Перейти к навигации
Перейти к поиску
FireWolf (обсуждение | вклад) |
FireWolf (обсуждение | вклад) |
||
Строка 29: | Строка 29: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
https://lebkowski.name/docker-volumes/ | |||
<syntaxhighlight lang="bash"> | <syntaxhighlight lang="bash"> | ||
docker ps --filter status=dead --filter status=exited -aq | xargs docker rm -v | docker ps --filter status=dead --filter status=exited -aq | xargs docker rm -v |
Версия 03:31, 1 июня 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}")
https://lebkowski.name/docker-volumes/
docker ps --filter status=dead --filter status=exited -aq | xargs docker rm -v
docker volume ls -qf dangling=true | xargs -r docker volume rm