|
|
7eddaeda5e
|
Use .deps in OpenMapKit Dockerfile
|
2017-12-16 20:40:06 +01:00 |
|
|
|
1c238b77fe
|
Remove tmpfs from docker run (containers are destroyed anyway)
|
2017-12-15 16:39:40 +01:00 |
|
|
|
ae2eea1933
|
Add UID/GID for OpenMapKit, change path from omk to openmapkit
|
2017-12-15 16:39:40 +01:00 |
|
|
|
4946fe2c71
|
Remove explicit mention of py-setuptools in OpenMapKit Dockerfile.
|
2017-12-15 16:39:40 +01:00 |
|
|
|
8e51e09d58
|
Kill OpenMapKit container instead of stopping (which fails anyway)
|
2017-12-15 16:39:40 +01:00 |
|
|
|
145b73c3ce
|
OpenMapKit concept
|
2017-12-15 16:39:40 +01:00 |
|
|
|
0f228fb1fe
|
Introduce install script for OpenMapKit, closes #149
|
2017-12-12 05:48:36 +01:00 |
|
