3a6e27bc87
Combine apt-get in final docker image and remove cache
2019-03-13 15:13:24 -04:00
ec2d01ab40
Add git to docker container
...
Install git in the docker container, proposed by #203 . While it is possible that issue requires further discussion, this is just a proposal pull request. If that proposal is accepted, here's the pull request.
2019-03-13 15:12:18 -04:00
03c0bde3a9
Another fix for the Dockerfile and build ( #188 )
...
* Dockerfile: fix
ENTRYPOINT must be provided in exec form for args
from docker run to be passed correctly.
See https://docs.docker.com/engine/reference/builder/#cmd
* build: fix reuse of vscode repository regression
See #167
2019-03-11 09:47:41 -05:00
449d51d24d
Dockerfile: use relative path instead of $PWD for CMD
...
Thanks @ay-b
2019-03-10 11:39:18 -04:00
f37533579d
Fix build and Dockerfile issues ( #176 )
...
* build: fix yarn corruption issues
Closes #100
Thanks @zerdos
* Dockerfile: add default Entrypoint and mount data dir
Closes #170
Closes #78
Thanks @ay-b
2019-03-09 14:51:51 -08:00
ffb75b6801
Fix typo: environemnt -> environment ( #159 )
...
Signed-off-by: Aidan Fitzgerald <acf67@cornell.edu>
2019-03-09 09:06:47 -08:00
96175d36ea
Handle arch in dockerfile and add PR template ( #109 )
...
* repo: add a pull request template
* Dockerfile: include arch when copying
Thanks @yush1ga and @zerdos
2019-03-07 13:48:11 -08:00
fba3fe5609
Dockerfile: cleanup and add en_US.UTF-8 locale
...
Closes #84
Closes #83
Thanks @xMrWhite, @frol and @sr229.
2019-03-07 13:55:13 -05:00
17267bd801
Add Dockerfile and some cleanup ( #57 )
2019-03-06 18:59:43 -08:00
Sandro Jäckel
pokemonlover1234
Anmol Sethi
Anmol Sethi
Aidan Fitzgerald