From 9b529622cd225210e6b77fa540cfd9166550fd95 Mon Sep 17 00:00:00 2001 From: Anthony Atkinson Date: Mon, 18 Dec 2023 06:37:21 -0500 Subject: [PATCH] Small changes to Docker command and `.gitignore` (#309) * Add --rm to docker command to cleanup containers * Add .DS_Store to .gitignore for Mac users * Wrong docker command --- .gitignore | 1 + makefile | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index b92da4e..f1a04f0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +.DS_Store *.xbb *.aux *.fdb_latexmk diff --git a/makefile b/makefile index bf393ec..113f326 100644 --- a/makefile +++ b/makefile @@ -1,7 +1,7 @@ .DEFAULT_GOAL := build_pdf DOCKER_IMAGE := ghcr.io/hendricius/the-sourdough-framework -DOCKER_CMD := docker run -it -v $(PWD):/opt/repo --platform linux/x86_64 $(DOCKER_IMAGE) /bin/bash -c +DOCKER_CMD := docker run --rm -it -v $(PWD):/opt/repo --platform linux/x86_64 $(DOCKER_IMAGE) /bin/bash -c .PHONY: bake build_pdf build_docker_image push_docker_image validate website .PHONY: print_os_version start_shell printvars show_tools_version mrproper