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