Make port configurable

This commit is contained in:
Glenn Y. Rolland 2020-04-19 12:44:17 +02:00
parent 7cc8ddc0a2
commit 7d7954849f

View file

@ -4,6 +4,8 @@
DEPLOY_REPO= DEPLOY_REPO=
DEPLOY_OPTS= DEPLOY_OPTS=
BUILD_DIR=_build BUILD_DIR=_build
DOCS_PORT=5100
SLIDES_PORT=5200
## Find slides ## Find slides
SLIDES_MD=$(shell find slides \( -name '*.md' ! -name '_*' \)) SLIDES_MD=$(shell find slides \( -name '*.md' ! -name '_*' \))
@ -30,10 +32,10 @@ watch: ## run development server
pipenv run honcho start pipenv run honcho start
watch-slides: ## run development server for PDF slides watch-slides: ## run development server for PDF slides
npx marp --engine $$(pwd)/.marp/engine.js --html --theme $$(pwd)/.marp/theme.css -w slides -s PORT=$(SLIDES_PORT) npx marp --engine $$(pwd)/.marp/engine.js --html --theme $$(pwd)/.marp/theme.css -w slides -s
watch-docs: ## run development server for static docs site watch-docs: ## run development server for static docs site
pipenv run mkdocs serve --dev-addr 0.0.0.0:5001 pipenv run mkdocs serve --dev-addr 0.0.0.0:$(DOCS_PORT)
serve: watch serve: watch
serve-slides: watch-slides serve-slides: watch-slides