2023-01-12 07:19:55 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2023-02-17 03:20:21 +00:00
|
|
|
DEST=$(grep "#define DEPLOY_DEST" config.h | awk '{print $3}' | sed -e 's/"//g')
|
2023-10-21 04:44:33 +00:00
|
|
|
IDENT=$(grep "#define DEPLOY_IDENT" config.h | awk '{print $3}' | sed -e 's/"//g')
|
2021-10-26 20:57:55 +00:00
|
|
|
|
2023-01-12 07:19:55 +00:00
|
|
|
if [ -z "$1" ]; then
|
2023-10-21 04:44:33 +00:00
|
|
|
rsync -avK -e "ssh -i ~/.ssh/${IDENT}" --delete ../ ${DEST}
|
2023-01-12 07:19:55 +00:00
|
|
|
elif [ "$1" = "--resync" ]; then
|
2023-10-21 04:44:33 +00:00
|
|
|
rsync -avk -e "ssh -i ~/.ssh/${IDENT}" --delete ${DEST} ../
|
2023-01-12 07:19:55 +00:00
|
|
|
fi
|
