d875cc73a8
[docker] back to sourcing cargo env
2018-12-16 22:40:06 +01:00
e07e6b46e7
[docker] properly export PATH
2018-12-16 17:22:39 +01:00
a3a9ad0535
[docker] add rustup install for CI build
2018-12-15 01:25:08 +01:00
a88bbac7eb
Update gazebo from v7 to v8/v9 compatibility ( #2357 )
...
* update gazebo from v7 to v8/v9 compatibility
* upgrade docker
2018-11-28 11:03:41 +01:00
2298c2b391
global fix of current warnings and errors in CI server ( #2341 )
2018-10-04 19:09:05 +02:00
0b58044e76
[docker] really fix pprz-ci image
2018-09-23 21:26:28 +02:00
0929228375
[docker] fix pprz-ci image
2018-09-23 20:16:49 +02: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
1684aed01e
docker: set locale to C.UTF-8
2017-08-05 19:46:08 +02:00
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
3a1624053c
[docker][travis] install cmake
...
needed for building opencv_bebop
2016-07-14 12:38:31 +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
9ee7a2f225
[docker] run.sh exit with correct status
2016-03-31 21:43:46 +02:00
e1c0a750b7
update docker pprz-dep image
2016-03-10 12:43:35 +01:00
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
64fdcfec0a
[docker] always mount current paparazzi tree
2015-07-07 21:01:04 +02:00
98dc38379e
[docker] add gedit to pprz-dep image
2015-07-07 21:01:04 +02:00
beb75e9bd0
[docker] rename clean target to remove_images
2015-07-07 21:01:04 +02: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
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
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
Kirk Scheper
Felix Ruess