Skip to content
Snippets Groups Projects
Commit 610bddc2 authored by Michele Alberti's avatar Michele Alberti
Browse files

[docker] Rename docker image tag for CAISAR.

parent d02d333f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
docker/Makefile
+ 1
− 1
View file @ 610bddc2
...@@ -25,7 +25,7 @@ ...@@ -25,7 +25,7 @@
all: Dockerfile all: Dockerfile
@echo "You may want to consider adding ARGS=--no-cache to force" @echo "You may want to consider adding ARGS=--no-cache to force"
@echo "Docker to rebuild all layers." @echo "Docker to rebuild all layers."
docker build . -t caisar/pub -f $^ --rm docker build . -t laiser/caisar:pub -f $^ --rm
Dockerfile: Makefile Dockerfile.template env.template Dockerfile: Makefile Dockerfile.template env.template
sed 's|@UBUNTU_OPAM_BASE@|ocaml/opam:ubuntu-ocaml-4.13|g' Dockerfile.template | \ sed 's|@UBUNTU_OPAM_BASE@|ocaml/opam:ubuntu-ocaml-4.13|g' Dockerfile.template | \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment