From 49832ef2b1ff966b2bfa37d7549be294962bf392 Mon Sep 17 00:00:00 2001 From: Svjatoslav Agejenko Date: Sun, 31 Dec 2017 03:56:36 +0200 Subject: [PATCH] Script to update static web site. --- tools/update web site | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 tools/update web site diff --git a/tools/update web site b/tools/update web site new file mode 100755 index 0000000..9c3e204 --- /dev/null +++ b/tools/update web site @@ -0,0 +1,7 @@ +#!/bin/bash + +cd "${0%/*}" + +cd .. + +rsync -avz --delete -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/ -- 2.20.1