|
|
3ca7dabc13
|
Update provision.sh to match newest versions
|
2018-02-19 00:44:00 +01:00 |
|
|
|
b63edb8f55
|
upgraded provision
|
2017-01-30 11:58:58 +01:00 |
|
|
|
86133440e5
|
Update provision.sh
|
2016-11-14 16:28:24 +01:00 |
|
|
|
346a3dd6f5
|
include pull to the openhpi/co_execenv_java_antlr docker image in
provision.sh
|
2016-04-20 12:43:07 +02:00 |
|
|
|
c11b567cbb
|
minor fix - sppecify option to create dir only if not present
|
2016-04-03 12:55:24 +02:00 |
|
|
|
3790811c22
|
edit provision script to pull the new images required
|
2016-04-01 17:20:04 +02:00 |
|
|
|
b744fc0ab3
|
updated provisionfile for vagrant: docker can be called without sudo, nginx is not automatically started.
|
2016-01-13 15:32:16 +01:00 |
|
|
|
1ce4822732
|
Update provision.sh
|
2015-10-16 16:28:56 +02:00 |
|
|
|
4d5cefb7a3
|
Add shared folder.
|
2015-08-27 23:07:20 +02:00 |
|
|
|
8a38e08f98
|
Add code_ocean.yml to copied configuration.
|
2015-08-27 21:49:35 +02:00 |
|
|
|
1c795c0796
|
Provide deployment into vagrant box. Closes #21.
|
2015-08-27 21:18:16 +02:00 |
|
