6 Commits

Author	SHA1	Message	Date
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
Felix Ruess	e1c0a750b7	update docker pprz-dep image	2016-03-10 12:43:35 +01:00
Felix Ruess	e8d2ca46c8	[docker] set nicer gtk theme	2015-07-07 21:01:04 +02:00
Felix Ruess	9265c6517e	[docker] add terminator and start.py targets	2015-07-07 21:01:03 +02:00
Felix Ruess	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
Felix Ruess	a90695babb	Add docker files	2015-07-07 21:01:03 +02:00