Hinweise für den Zugriff auf gruenau6
gruenau6 ist für unsere Veranstaltung der Referenzrechner. D.h. Sie sollten vor jeder Abgabe testen, ob Ihre Wissensbasis vom dort installierten Prolog-Interpreter fehlerfrei geladen werden kann und sich Ihre definierten Prädikate auf der dort installierten Version des Interpreters so verhalten wie erwünscht.
Die Programme ssh und scp ermöglichen per verschlüsselter Kommunikation das Arbeiten auf entfernten Rechnern bzw. das sichere Transferieren von Dateien in beide Richtungen und sollten n.m.W. in der Standardinstallation aller aktuellen Betriebssysteme (Linux, [andere] Unixoide, Windows) enthalten sein. Ein sehr bekannter Client insbesondere auf Windowssystemen ist PuTTY, welches auch eine hervorragende Dokumentation besitzt. scp ist dort enthalten und heißt dort PSCP.
Remote Zugriff auf die shell von gruenau6: ssh
Um das Programm ssh zu starten, sollten Sie im ersten Schritt ein Terminal öffnen (auf Windows-System die Powershell, oder klassisch command bzw. cmd.exe). Der einzugebene Befehl ist dann:
oder
Hierbei ist meinLogin durch Ihren Informatik-Account zu ersetzen.
Beim ersten Login von diesem Rechner werden Sie gebeten den Schlüssel von gruenau6 zu akzeptieren (vlt. ein guter Anlass sich damit mal genauer auseinander zu setzen !). Ist der Schlüssel bekannt wird eine verschlüsselte Verbindung aufgebaut und Ihr Passwort mittels
angefragt. Ist das korrekt werden Sie mit einem freundlichen, aber bestimmten Have a lot of fun... begrüßt und die Arbeit kann losgehen.
Jede Sitzung auf einem anderen Rechner sollte vernünftig geschlossen werden. Sind sie also fertig mit der Arbeit geben Sie auf der Konsole (nachdem Sie den Prolog-Interpreter beendet haben) den Befehl exit ein. Der Rechner bestätigt dann mit
Connection to gruenau6.informatik.hu-berlin.de closed.
Dateien auf gruenau6 transferieren: scp
Falls Sie an Rechnern des Instituts arbeiten und Sie sich an gruenau6 anmelden, wird dort dasselbe Home-verzeichnis eingebunden, wie auf dem lokalen Rechner, dass heißt Sie findet dort auch Ihre lokal bearbeitete Wissensbasis vor und brauchen diese nicht per scp transferieren. D.h. der folgende Schritt ist nur nötig, falls Sie nicht an einem Rechner des Instituts arbeiten, also bspw. von zu Hause oder am eigenen Laptop.
Nehmen wir an, Sie befinden sich im Verzeichnis in dem sich Ihre Abgabedatei blattx.pl befindet, welche Sie jetzt nach gruenau6 transferieren wollen. Dann lautet der gesuchte Befehl:
Hierbei ist wiederum meinLogin durch Ihren Informatik-Account zu ersetzen. Sie werden nach dem Passwort gefragt und anschließend über den Transfer informiert. Wenn Sie sich danach per ssh auf gruenau6 einloggen, steht die Datei in Ihrem Home-Verzeichnis zur Verfügung.
Hinweis auf GUI's
Viele Dateimanager (Thunar/Nautilus/..) auf Unixoiden unterstützen die Eingabe von ssh-Verbindungen in Ihrer Adressleiste und ermöglichen so das Senden von Dateien per drag & drop. Unter Windows kann dafür das bekannte Tool WinSCP verwendet werden.
Weiterhin soll nicht unerwähnt bleiben, dass die Rechnerbetriebsgruppe auch Zugänge mittels Browser über webconnect anbietet.