data-dir gets useful only when reaching tomcat extenion.

Author: mihxil

docker.mk

@@ -51,7 +51,7 @@ pushrm: README.md docker  ## Update the README.md on dockerhub.
 	pandoc -f docbook -t gfm $< -o $@
 
 explore: build work data  ## explore the docker image
-	$(DOCKER) run -it --entrypoint bash --user $(shell id -u):$(shell id -g) -v $(PWD)/work:/work  -v $(PWD)/data:/data  $(REGISTRY)$(NAME):$(TAG)
+	$(DOCKER) run -it --entrypoint bash --user $(shell id -u):$(shell id -g) -v $(PWD)/work:/work  -v $(PWD)/data:/data  -v $(HOME)/.m2:/.m2  $(REGISTRY)$(NAME):$(TAG)
 
 run: build work data  ## run the docker image
 	$(DOCKER) run -it $(PORTS) -v $(PWD)/work:/work  -v $(PWD)/data:/data  $(REGISTRY)$(NAME):$(TAG)

env/Dockerfile

@@ -59,6 +59,9 @@ COPY exrc /.exrc
 # Clean up default /etc/bash.bashrc a bit (no call to groups)
 COPY bash.bashrc /etc/bash.bashrc
 
+ENV HISTFILE=/work/.bash_history
+ENV LESSHISTFILE=/work/.lesshst
+
 WORKDIR /work
 ENTRYPOINT ["/bin/bash"]