Felix Ruess 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

..

dep

[docker] use ubuntu 16.04 and deal with user/group ids != 1000

2016-05-30 21:18:08 +02:00

dev

[docker] use ubuntu 16.04 and deal with user/group ids != 1000

2016-05-30 21:18:08 +02:00

Makefile

[docker] use ubuntu 16.04 and deal with user/group ids != 1000

2016-05-30 21:18:08 +02:00

run.sh

[docker] use ubuntu 16.04 and deal with user/group ids != 1000

2016-05-30 21:18:08 +02:00