From b5f9075e0a2a695c744a4684fdb360cfa227c1b2 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Tue, 10 May 2022 19:37:45 -0700 Subject: delete Makefile This is not needed anymore, I'm not running it in a container, and the build is done remotely by fly when I do a build. --- users/fcuny/blog/Makefile | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 users/fcuny/blog/Makefile diff --git a/users/fcuny/blog/Makefile b/users/fcuny/blog/Makefile deleted file mode 100644 index e2731d4..0000000 --- a/users/fcuny/blog/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -DOCKER := DOCKER_BUILDKIT=1 docker -DOCKER_BUILD_ARGS := -DOCKER_IMAGE := fcuny/fcuny.net -DOCKER_IMAGE_REF := $(shell git rev-parse HEAD) -DOCKERFILE := Dockerfile -PROJECT_DIR := $(realpath $(CURDIR)) - -.PHONY: docker-build docker-run - -docker-build: - @echo "Building Docker image ..." - $(DOCKER) build $(DOCKER_BUILD_ARGS) \ - --tag "${DOCKER_IMAGE}:${DOCKER_IMAGE_REF}" \ - --file "$(DOCKERFILE)" \ - "$(PROJECT_DIR)" - -docker-run: docker-build - @echo "Running Docker image ..." - $(DOCKER) run -ti --rm -p 8080:8080 "${DOCKER_IMAGE}:${DOCKER_IMAGE_REF}" -- cgit 1.4.1