6 commits

Author	SHA1	Message	Date
zakuro	0b3f209965	Dockerfile: run the repl by default (#8993)	2021-02-27 10:08:33 +02:00
Rahul Nair	2880baa1bc	dockerfile: fix build failure	2019-09-13 01:19:57 +03:00
Zaoqi	4d44de7685	Docker: minor fixes	2019-08-11 22:41:27 +03:00
Martin Rauscher	80ec11edcb	use /opt/ instead of /etc/ for binary storage	2019-07-27 01:15:20 +02:00
Martin Rauscher	8b195ba32a	Make building with docker more effecient ... - cleaning up apt cache will reduce image size - doing COPY after apt will allow to reuse previous layer on recompile	2019-07-25 22:16:19 +02:00
ANAGO Andy Ronnel	2c31469ec2	Dockerfile	2019-07-23 00:31:43 +02:00