diff --git a/Makefile b/Makefile index 3952d98..afdfe38 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,6 @@ USER_ID = $(shell id -u) GROUP_ID = $(shell id -g) - export UID = $(USER_ID) export GID = $(GROUP_ID) @@ -33,3 +32,6 @@ version-patch: ## Create a patch version for a directory, e.g. make version-patch mapping-tools @./bin/version-patch.sh "$(filter-out $@,$(MAKECMDGOALS))" + +examples: ## Launch examples for a directory, e.g. make examples mapping-tools + @restcli --full "$(filter-out $@,$(MAKECMDGOALS))/examples.http"