You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
sudo is not available in many docker images. Default user within a docker container is root. The deps-ubuntu target is used only for building the docker container for dockerhub and circle ci. I see no need to have sudo in the makefile.
Neither do I! And a user who wants to run this herself (interactively in the host OS) can do sudo make deps-ubuntu if she sees it fail in lack of privileges.
sudo
is not available in many docker images. Default user within a docker container is root. Thedeps-ubuntu
target is used only for building the docker container for dockerhub and circle ci. I see no need to havesudo
in the makefile.@bertsky ?
The text was updated successfully, but these errors were encountered: