2024-05-17 20:41:51 +02:00
|
|
|
SHELL=bash
|
2024-05-22 13:08:36 +02:00
|
|
|
server_path=/srv/web/regex
|
2024-05-17 20:41:51 +02:00
|
|
|
|
|
|
|
|
.PHONY: generate push all
|
|
|
|
|
|
|
|
|
|
all: generate push
|
|
|
|
|
|
|
|
|
|
generate:
|
|
|
|
|
./generate.py
|
|
|
|
|
|
|
|
|
|
push:
|
2024-06-11 16:03:02 +02:00
|
|
|
# assumes that you have rsync (a copying tool).
|
|
|
|
|
# if necessary, use 'scp -r' instead of 'rsync -avuP'
|
|
|
|
|
# also assumes you have something like this in your ~/.ssh/config:
|
|
|
|
|
# Host quitte
|
|
|
|
|
# HostName quitte.ifsr.de
|
|
|
|
|
# User <usename>
|
2024-05-22 13:08:36 +02:00
|
|
|
rsync -avuP ./deploy/ quitte:$(server_path)
|
2024-05-17 20:41:51 +02:00
|
|
|
|
