From 3de7d59b2685ef89bf36f077ac30ea0734f16d92 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Wed, 11 May 2022 12:22:05 -0700 Subject: delete Makefile This is not needed anymore. --- users/fcuny/notes/Makefile | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 users/fcuny/notes/Makefile (limited to 'users/fcuny') diff --git a/users/fcuny/notes/Makefile b/users/fcuny/notes/Makefile deleted file mode 100644 index fbd1205..0000000 --- a/users/fcuny/notes/Makefile +++ /dev/null @@ -1,27 +0,0 @@ -DOCKER := DOCKER_BUILDKIT=1 docker -DOCKER_BUILD_ARGS := -DOCKER_IMAGE := fcuny/notes.fcuny.net -DOCKER_IMAGE_REF := $(shell git rev-parse HEAD) -DOCKERFILE := Dockerfile -PROJECT_DIR := $(realpath $(CURDIR)) - -.PHONY: server docker-build docker-run worktree-clean - -server: - @echo "Running hugo server ..." - hugo server - -worktree-clean: - git diff --exit-code - git diff --staged --exit-code - -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