#! /bin/bash

set -e

# We need an IP
if [ -z "$1" ]; then
    echo usage: setup.sh host
    exit 1
fi

HOST=$1
ssh-copy-id root@$HOST
DO="ssh root@$HOST"

# Copy over FAI config
$DO "mkdir -p /srv/fai/config; aptitude -y install rsync fai-client"
rsync -r fai/* root@$HOST:/srv/fai/config

# Do everything!
$DO "chmod +x /srv/fai/config/scripts/*/* /srv/fai/config/class/[0-9]*; fai -vNs file:///srv/fai/config softupdate"
darcs push --set-default -a kaol@"$HOST:src"

echo Piperka development environment successfully set up on $HOST