build:
	docker build --platform linux/amd64 -t gt-workbench --build-arg USER=$(shell id -nu) --build-arg UID=$(shell id -u) .
create:
	docker create -i -t -v .:/work --name gt-workbench gt-workbench
start:
	docker start gt-workbench
run:
	docker exec -w /work -u $(shell id -u):$(shell id -g) -it gt-workbench bash
run-root:
	docker exec -w /work -it gt-workbench bash