daba128c6a
[docker] use gosu from Ubuntu since docker image is using 18.04 ( #2656 )
2021-03-25 09:48:52 +01:00
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
e1c0a750b7
update docker pprz-dep image
2016-03-10 12:43:35 +01:00
e8d2ca46c8
[docker] set nicer gtk theme
2015-07-07 21:01:04 +02:00
9265c6517e
[docker] add terminator and start.py targets
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
Gautier Hattenberger
Felix Ruess