new setup of isabelle at IST
authorwneuper
Fri, 12 Sep 2008 11:17:20 +0200
changeset 391390bd669c4509
parent 3912 29d5d67c74a1
child 3914 45840f78c21d
new setup of isabelle at IST
src/java/_INFO-eclipse-cvs.txt
     1.1 --- a/src/java/_INFO-eclipse-cvs.txt	Mon Aug 25 14:05:21 2008 +0200
     1.2 +++ b/src/java/_INFO-eclipse-cvs.txt	Fri Sep 12 11:17:20 2008 +0200
     1.3 @@ -1,3 +1,32 @@
     1.4 +
     1.5 +-------- Original Message --------
     1.6 +Subject: Passwortloses Einloggen
     1.7 +Date: Wed, 27 Aug 2008 14:57:37 +0200
     1.8 +From: Herbert Poeckl <hpoeckl@ist.tugraz.at>
     1.9 +To: Walther Neuper <neuper@ist.tugraz.at>
    1.10 +
    1.11 +Zuerst vorhandene Keys loeschen, beispielsweise mit (aber Vorsicht mit 
    1.12 +der Zeile!):
    1.13 +rm -rf ~/.ssh/
    1.14 +
    1.15 +
    1.16 +Danach generieren mit (ohne Passphrase-Angabe):
    1.17 +ssh-keygen -tdsa
    1.18 +cp -a ~/.ssh/id_dsa.pub ~/.ssh/authorized_keys
    1.19 +
    1.20 +-------- Original Message --------
    1.21 +Subject: Ausfuehren des Poly/ML von extern
    1.22 +Date: Wed, 27 Aug 2008 14:59:04 +0200
    1.23 +From: Herbert Poeckl <hpoeckl@ist.tugraz.at>
    1.24 +To: Walther Neuper <neuper@ist.tugraz.at>
    1.25 +
    1.26 +ssh gw.ist.tugraz.at "ssh ginkgo '/netshares/commons/isac/bin/poly 
    1.27 +/netshares/commons/isac/local/Isabelle2002/heaps/polyml-4.1.3_x86-linux/HOL-Real-Isac'" 
    1.28 +
    1.29 +WN.TODO080820: isac@192.168.1.245 f?r Passwortloses Einloggen bereitstellen !!! 
    1.30 +
    1.31 +NEW^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^NEW
    1.32 +
    1.33  Eclipse + cvs:
    1.34  RG->WN0401
    1.35