From 7542b861c37c91ef483ed52c15be6f6c9f68e9d7 Mon Sep 17 00:00:00 2001 From: zepinto Date: Tue, 15 Jan 2019 18:26:25 +0000 Subject: [PATCH] Docker Makefile: added DNS option. --- docker/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docker/Makefile b/docker/Makefile index b9bdc1c..2f42f54 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -23,9 +23,10 @@ TAG := glued VERSION := 2016.05.0 VOLUME := $(CURDIR)/.. +DNS := 8.8.8.8 all: docker build -t $(TAG):$(VERSION) . shell: - docker run -w $(VOLUME) -i -a stdin -a stdout -v $(VOLUME):$(VOLUME) -t $(TAG):$(VERSION) + docker run -w $(VOLUME) --dns=$(DNS) -i -a stdin -a stdout -v $(VOLUME):$(VOLUME) -t $(TAG):$(VERSION)