diff --git a/eth/user/isg_sans_lab_install b/eth/user/isg_sans_lab_install index 8d26e5b..4020d37 100755 --- a/eth/user/isg_sans_lab_install +++ b/eth/user/isg_sans_lab_install @@ -51,6 +51,9 @@ machine="sans-lab-$1"; shift headerto="support@inf.ethz.ch" to="support@inf.ethz.ch $from" +# always append sans-home = sans-intern +set -- "$@" sans-home + while [ $# -ge 1 ]; do addr="$1@ethz.ch" to="$to $addr" diff --git a/myremotegit b/myremotegit new file mode 100755 index 0000000..d5ee6c0 --- /dev/null +++ b/myremotegit @@ -0,0 +1,44 @@ +#!/bin/sh +# +# 2011 Nico Schottelius (nico-nsbin at schottelius.org) +# +# This file is part of nsbin. +# +# nsbin is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# nsbin is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with nsbin. If not, see . +# +# +# Create remote git repo and add origin remote locally +# + +host=git.schottelius.org +dir="/home/services/git" + +if [ $# -ne 2 ]; then + echo "$0 name description" + exit 1 +fi + +name=$1; shift +desc=$1; shift + +remote_dir="$dir/$name" +remote="$host:$remote_dir" + +# Create on remote side +ssh "$host" "GIT_DIR=$remote_dir git init" +ssh "$host" "echo $desc > $remote_dir/description" + +# Initialise git +git remote add origin "$remote" +git push origin master