diff options
| author | Max Audron <audron@cocaine.farm> | 2021-02-28 05:59:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-28 15:59:42 +1100 |
| commit | e4d3ff2374142fe6431b68874f6604a471732fae (patch) | |
| tree | 7d2ee5ec0fcd7e901be3c46ad7afb94d7a6d2fc0 /platforms/chibios | |
| parent | bcbcb3d107a3d991044354129c06e77ce19bda27 (diff) | |
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
Diffstat (limited to 'platforms/chibios')
0 files changed, 0 insertions, 0 deletions