#!/usr/bin/env bash
# $Id$
#
# Thomas Dreibholz's PlanetLab Script Collection
# Copyright (C) 2005-2022 by Thomas Dreibholz
#
# This program 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.
#
# This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
#
# Contact: dreibh@iem.uni-due.de


. ./planetlab-config


SERVER=$1
if [ x$SERVER = "x" ]; then
   echo "ERROR: No server name/IP given!"
   exit 1
fi
shift


# Achtung:
# Option -t sorgt dafür, daß Pseudo-Terminal erzeugt wird.
# Optionen -t -t erzwingen Erstellung von Pseudo-Terminal, auch wenn stdin keines ist!
# -> Lokaler ssh-Abbruch -> Abbruch der entfernten Prozesse.
ssh -t -t -C -i $PLANETLAB_KEY -oConnectTimeout=5 -oPasswordAuthentication=no $PLANETLAB_USER@$SERVER $@
