From aa4c9413213d48a9d49aaa0fc71ce390cc8a4dc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Wed, 29 Jan 2014 03:42:22 +0100
Subject: [PATCH] Add install-remote.sh helper script
---
install-remote.sh | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
create mode 100755 install-remote.sh
diff --git a/install-remote.sh b/install-remote.sh
new file mode 100755
index 0000000..a08b2df
--- /dev/null
+++ b/install-remote.sh
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+
+# install everything on a remote machine
+
+[ -e FaCT++ ] || wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++
+
+files=(
+ coalg
+ coalgcompare
+ FaCT++
+ fact.conf
+)
+# $(ldd $(which FaCT++) | cut -d' ' -f3)
+# $(ldd coalg | cut -d' ' -f3)
+# $(ldd coalgcompare | cut -d' ' -f3)
+
+echo "==> sending files:"
+printf ":: %s\n" "${files[@]}"
+
+rsync --copy-links -rv "${files[@]}" "$1:/${2:-/var/tmp/re06huxa/}"
--
GitLab