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 ?