From 2187ca8ae5580639b372197bf8f23223c41ed5c4 Mon Sep 17 00:00:00 2001 From: Pierre Tachoire Date: Wed, 10 Apr 2024 11:47:25 +0200 Subject: [PATCH] remove useless makefile --- Makefile | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index aec6725..0000000 --- a/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -# build and deploy for https://demo.lpd.tch.re -# works only on my machine (pierre) -.PHONY: deploy-preview -deploy-preview: - @DOCKER_HOST="ssh://uma" docker exec -ti caddy mkdir -p /var/www/demo.lpd.tch.re - @DOCKER_HOST="ssh://uma" docker exec -ti caddy rm -fr /var/www/demo.lpd.tch.re/public - @DOCKER_HOST="ssh://uma" docker cp public caddy:/var/www/demo.lpd.tch.re -