2 Commits (f1084712d72eb0e942ac46a9e606cc2d3af11dc6)

Author SHA1 Message Date
Max Audron e4d3ff2374
Add support for using podman to util/docker_build.sh (#10819)
* add podman support to docker_build.sh script

* break out runtime into the RUNTIME variable
* allows RUNTIME to be set by the user
* decides on docker or podman if docker isn't avaible
* rewrote check for docker-machine to account only for docker runtime
* put --user arg into a variable only to be used with docker
  this is not needed with podman as podman maps the containers root id
  to the users id.

* add podman to getting_started_docker documentation
5 years ago
Joel Challis 0fbcb41c85
Reintegrate previous docker docs (#9084) 6 years ago