15 Commits

Author	SHA1	Message	Date
Felix Ruess	1684aed01e	docker: set locale to C.UTF-8	2017-08-05 19:46:08 +02:00
Felix Ruess	5adccfc66a	[docker] pass symlinked devices if docker version >= 1.12 ... Docker should support relative symlinks for devices from version 1.12 on...	2016-09-18 00:48:47 +02:00
Felix Ruess	3a1624053c	[docker][travis] install cmake ... needed for building opencv_bebop	2016-07-14 12:38:31 +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	9ee7a2f225	[docker] run.sh exit with correct status	2016-03-31 21:43:46 +02:00
Felix Ruess	e1c0a750b7	update docker pprz-dep image	2016-03-10 12:43:35 +01:00
Felix Ruess	d9eb0b41f8	[docker] fix run.sh for OSX with access to X ... - OSX readlink doesn't have the -f or -m options, require correct PAPARAZZI_SRC to be set already for now - using xauth with docker on OSX doesn't work, so we use socat to forward the socket via TCP - see https://github.com/docker/docker/issues/8710 - no (pulse)audio on OSX... - find on OSX doesn't have the -printf option... so use exec echo instead this will hopefully fix #1421	2015-11-18 23:14:08 +01:00
Felix Ruess	64fdcfec0a	[docker] always mount current paparazzi tree	2015-07-07 21:01:04 +02:00
Felix Ruess	98dc38379e	[docker] add gedit to pprz-dep image	2015-07-07 21:01:04 +02:00
Felix Ruess	beb75e9bd0	[docker] rename clean target to remove_images	2015-07-07 21:01:04 +02: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	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
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