4fb98a3789
[docker] add CI image and put images in paparazziuav organization
...
Automated builds on https://hub.docker.com/u/paparazziuav
2018-09-23 18:03:29 +02:00
85fa26e6d3
[docker] use ubuntu 16.04 and deal with user/group ids != 1000
...
- Update to Ubuntu xenial and switch to new gcc-arm-embedded PPA.
- Hhandle permissions for docker volumes by dynamically changing the id of user pprz to LOCAL_USER_ID.
This should finally make it possible use the shared volume with the paparazzi source in docker on machines where your user/group id is not 1000
2016-05-30 21:18:08 +02:00
beb75e9bd0
[docker] rename clean target to remove_images
2015-07-07 21:01:04 +02:00
9265c6517e
[docker] add terminator and start.py targets
2015-07-07 21:01:03 +02:00
6b3e71d415
[docker] use --device instead of --privileged for USB
...
also "autodetect" potentially interesting /dev/ttyUSB? and /dev/ttyACM? devices and pass them by default.
2015-07-07 21:01:03 +02:00
09c73d4fee
[docker] add option to access USB
...
- needs to run as priviliged container in order to access usb
- "cd docker && make bash_usb" gives you a shell with USB access on the host
2015-07-07 21:01:03 +02:00
a90695babb
Add docker files
2015-07-07 21:01:03 +02:00
Felix Ruess