diff options
author | Robin Hallabro-Kokko <44033026+hallabro@users.noreply.github.com> | 2019-05-04 00:41:39 +0000 |
---|---|---|
committer | Drashna Jaelre <drashna@live.com> | 2019-05-03 17:41:39 -0700 |
commit | e73587cfd08b2bd73987e7f762194079875df93a (patch) | |
tree | bad6a942cfd5919bb6a42989530558c3877c1f0d /users/_example | |
parent | 997bafc8ec4ff793d7ded0b9dc3b2fc3d13b81b5 (diff) |
docker_build.sh: Docker requires access to hosts devices (#5063)
* docker_build.sh: Docker requires access to hosts devices
This also runs the container interactively which allows the user to
interupt the build with Ctrl-C.
* docker_build.sh: Mount /dev via $usb_args instead
Diffstat (limited to 'users/_example')
0 files changed, 0 insertions, 0 deletions