Docker: различия между версиями
Перейти к навигации
Перейти к поиску
FireWolf (обсуждение | вклад) |
FireWolf (обсуждение | вклад) |
||
| Строка 21: | Строка 21: | ||
= Удаление не нужных образов = | = Удаление не нужных образов = | ||
<syntaxhighlight lang="bash"> | |||
docker rmi $(docker images | grep "<none>" | awk "{print \$3}") | docker rmi $(docker images | grep "<none>" | awk "{print \$3}") | ||
</syntaxhighlight> | |||
[[Категория:Работа]] | [[Категория:Работа]] | ||
[[Категория:Linux]] | [[Категория:Linux]] | ||
Версия 03:03, 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}")