Henrik Levkowetz
|
f8872fd3dd
|
Tweaked docker/run
- Legacy-Id: 10443
|
2015-11-07 22:14:22 +00:00 |
|
|
Henrik Levkowetz
|
95a001333b
|
Added more cleanup to the docker/run command
- Legacy-Id: 10439
|
2015-11-07 21:22:55 +00:00 |
|
|
Henrik Levkowetz
|
c2432107a3
|
Updated Dockerfile and the default settings_local for the docker image. Added docker-init.sh which is used in the docker image, and docker/run which is a wrapper which runs the docker image with suitable settings.
- Legacy-Id: 10436
|
2015-11-07 20:25:37 +00:00 |
|