From cc40894c386cf6a6c9118c6a8283c0d35620e66c Mon Sep 17 00:00:00 2001 From: Thomas Zahner Date: Fri, 9 May 2025 12:21:55 +0200 Subject: [PATCH] Make Makefile more portable (make: /bin/bash: No such file or directory) --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 4cc19a7..e574d74 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # Needed SHELL since I'm using zsh -SHELL := /bin/bash +SHELL := /usr/bin/env bash IMAGE_NAME := "lycheeverse/lychee" .PHONY: help @@ -36,7 +36,7 @@ run: ## Run project locally .PHONY: docs docs: ## Generate and show documentation - cargo doc --open + cargo doc --open .PHONY: lint lint: ## Run linter @@ -55,6 +55,6 @@ doc: ## Open documentation .PHONY: screencast screencast: ## Create a screencast for the docs - termsvg rec --command=assets/screencast.sh recording.asc + termsvg rec --command=assets/screencast.sh recording.asc termsvg export --minify recording.asc --output=assets/screencast.svg - rm recording.asc \ No newline at end of file + rm recording.asc