terminal_configuration/Makefile

31 lines
586 B
Makefile

RUN_OPTION=\
-it \
-v ${HOME}/.ssh:/home/$(shell id -un)/.ssh \
-v ${PWD}:/workspace
ifdef WAYLAND_DISPLAY
RUN_OPTION += \
-e WAYLAND_DISPLAY=${WAYLAND_DISPLAY} \
-e XDG_RUNTIME_DIR=/run/user/$(shell id -u) \
-v /run/user/$(shell id -u)/wayland-0:/run/user/$(shell id -u)/wayland-0
endif
ifdef HOST
RUN_OPTION += \
--network host
endif
BUILD_OPTION=\
--build-arg USERNAME=$(shell id -un) \
--build-arg UID=$(shell id -u)
ifdef FORCE_BUILD
BUILD_OPTION += \
--no-cache
endif
run: build
docker run ${RUN_OPTION} dev
build:
docker build ${BUILD_OPTION} -t dev .