rename some eth scripts
Signed-off-by: Nico Schottelius <nico@ikn.schottelius.org>
This commit is contained in:
parent
ec46c1d584
commit
6882c889c5
2 changed files with 0 additions and 0 deletions
15
eth/release_temp.sh
Executable file
15
eth/release_temp.sh
Executable file
|
|
@ -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}"
|
||||
Loading…
Add table
Add a link
Reference in a new issue