-
Committer:
Miika Komu
-
Date:
2017-09-10 20:38:40 UTC
-
Revision ID:
miika@iki.fi-20170910203840-wc7td54sfx38b8kv
More bug fixes to the dockerized build system
Ubuntu building using docker works again. Fixed multiple issues:
* unmounting and kill docker instances upon exit
* versioning modularization/automization
* ssh keying works again
* docker COPY instead of ADD (the latter extracts tar automatically)