2022-06-30 23:37:10 +02:00
|
|
|
User ?= User/User
|
|
|
|
|
|
|
|
|
|
# target user: Fire user-agent
|
2022-05-07 15:04:44 +02:00
|
|
|
.PHONY: User user
|
2022-06-30 23:37:10 +02:00
|
|
|
User user: bootstrap-docker bootstrap-user $(if $(DOCKER_RUN),stack-User-up) user-agent
|
|
|
|
|
|
|
|
|
|
# target user-agent: Fire ssh-add
|
|
|
|
|
user-agent: ssh-add
|
|
|
|
|
|
|
|
|
|
# target User-% user-%; Fire target stack-User-%
|
|
|
|
|
User-% user-%: stack-User-%;
|
