From 832f876c9b91b7ff99a7a22dfc8abb64e51d5e1d Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@ikn.ethz.ch>
Date: Fri, 28 Nov 2008 13:26:09 +0100
Subject: [PATCH] add script to release stuff to the eth/free server

Signed-off-by: Nico Schottelius <nico@ikn.ethz.ch>
---
 eth_release.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 eth_release.sh

diff --git a/eth_release.sh b/eth_release.sh
new file mode 100755
index 0000000..e794b3e
--- /dev/null
+++ b/eth_release.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+file=$1
+host=free.ethz.ch
+dir=public_html/temp/
+url="http://people.inf.ethz.ch/~nicosc/temp"
+
+[ -z "$file" ] && exit 1
+
+bfile="$(basename "$file")"
+
+scp "$file" "${host}:$dir"
+ssh $host "chmod a+r $dir/$bfile"
+
+echo "Pre-released ${url}/${bfile}"