9 Commits

Author	SHA1	Message	Date
winkelst	d4919419de	Fix path to gosu in entrypoint.sh (#2776) ... daba128 changed the Dockerfile to install gosu from the official Ubuntu repositories but did not change the path in entrypoint.sh gosu ist now located at /usr/sbin/gosu and no longer at /usr/local/bin/gosu	2021-09-01 17:39:46 +02:00
Gautier Hattenberger	daba128c6a	[docker] use gosu from Ubuntu since docker image is using 18.04 (#2656)	2021-03-25 09:48:52 +01:00
Felix Ruess	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
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