7 Commits (2835a190e8d3a1ab87706f156b1c5a94aaa4cad7)

Author	SHA1	Message	Date
353fc443	5359c56c77	Dockerfile: add support for USE_LOCAL (#10953)	2021-07-25 14:37:26 +03:00
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