[pisa-src] Re: r1084 - trunk/tools
- From: Tobias Heer <heer@xxxxxxxxxxxxxxxxx>
- To: pisa-src@xxxxxxxxxxxxx
- Date: Fri, 09 Oct 2009 18:46:43 +0200
Hi,
Am 09.10.2009 um 18:40 schrieb René Hummen:
+if [ "$PK" = "" ] || [ ! -e "$HOME/.ssh/$PK" ]; then
+ echo "No public key found. This will be a real pain in the
a**!!!"
+else
looking forward to use this script.
:-P
--
Dipl.-Inform. Tobias Heer, Ph.D. Student
Distributed Systems Group
RWTH Aachen University, Germany
tel: +49 241 80 207 76
web: http://ds.cs.rwth-aachen.de/members/heer
Other related posts:
