TU Wien:Logikprogrammierung und Constraints VU (Neumerkel)/Howto Remotezugriff

Nachdem die Anleitung auf der LVA-Seite schon etwas älter ist, will ich hier erklären wie man sich (Stand 2022) via Windows (feel free to add the Linux version of this guide :) ) remote mit der Entwicklungsumgebung verbinden kann.

Erste Beispiele im Labor lösen

Sowohl die Anmeldung als auch das Lösen der ersten Beispiele müssen vor Ort passieren. Dort bekommt man dann auch Benutzername und Passwort, die man für die Remote-Anmeldung braucht

Vorbereitung

Um die Remote-Umgebung lokal zu nutzen, benötigt man folgende Tools:

• WSL (Die Remote-Umgebung funktioniert nur auf UNIX-ähnlichen Systemen)
• Xming (Die Remote-Umgebung funktioniert anscheinend nicht mit dem in WSL2 integriertem X-Server)
• Xming Fontpack (Für die Schriftarten die die Remote-Umgebung nutzt)

Diese müssen vor dem Setup installiert sein.

Setup

Xming

Zuerst muss der Xming X-Server gestartet werden.

Dazu launcht man "XLaunch".

Dann auf der ersten Seite des Setups "One Window" auswählen und weitergehen.

Die Einstellung "Start no client" belassen und weitergehen.

Dann "No access control" anwählen und optional in "Additional parameters for Xming" Parameter für z.B. die Größe des Fensters angeben und weitergehen.

Auf der letzten Seite kann man dann diese Konfiguration speichern und anschließend den X-Server starten.

Der X-Server wird in einem Fenster geöffnet, das man beliebig verschieben kann.

Terminal

Jetzt die WSL starten (z.B. nach bash im Startmenü suchen)

Damit das Terminal über den X-Server bescheid weiß, müssen wir folgendes Kommando ausführen:

export DISPLAY="$(grep nameserver /etc/resolv.conf | sed 's/nameserver //'):0"

Wenn der Befehl nicht funktioniert, dann kann es sein, dass das default WSL auf Docker-Install gesetzt ist. Mit "wsl -l" kann man die Konfiguration die Konfiguration anzeigen lassen und mit "wsl -s <subsystem name>" kann man dann auf das richtige subsystem ändern.

Verbinden

Anschließend können wir versuchen uns zu verbinden:

ssh -tt -X logprog@g0.complang.tuwien.ac.at <username> gupu -trygs

Es werden zwei Passwörter verlangt. Das Erste ist "logique", das zweite ist das Nutzerpasswort, das man im Labor bekommt.

Nach dem Ausführen dieses Kommandos sollte im X-Server Fenster ein Bild erscheinen. Somit weiß man dass die Umgebung funktioniert

Anschließend kann man mit CTRL+C im Terminal das Kommando beenden. Mit diesem Kommando kann man jetzt die Entwicklungsumgebung starten:

ssh -tt -X logprog@g0.complang.tuwien.ac.at <username> gupu -enforced FHD

Nun öffnet sich die Umgebung im X-Server Fenster. Der Prozess dauert mehrere Sekunden.

Wenn die Umgebung fertig geladen ist kann man sie mit F11 auf Vollbild stellen.

Zum Beenden der Umgebung immer CTRL-X -> CTRL-C verwenden, da sonst beim nächsten Einloggen eine Warnung erscheint.

Xming Fenstergröße ändern

Beim Starten von Xming via XLaunch kann man unter "Additional parameters for Xming" die Größe des Fensters anpassen.

So kann man das Fenster z.B. auf 1920x1200 stellen:

1

-screen 0 1920x1200+125+100@1

Remotezugriff ohne WSL

Es ist durchaus möglich auch ohne wsl von einem Windows Rechner aus den Remote Zugriff zum Laufen zu bekommen. Anstatt wsl, verwenden wir einfach putty: https://www.putty.org/. Man muss daneben, genau wie in dem Tutorial oben, Xming und das Xming Fontpack installiert haben! Bevor man sich mithilfe von putty verbindet, muss man ebenfalls Xming gestartet und eine passende screen resolution angegeben haben.

Putty Konfiguration

In den allgemeinen Session Einstellungen:

• host name: logprog@g0.complang.tuwien.ac.at

• port: 22

In Connection->SSH->X11:

• X11 forwarding erlauben, also ein Hakerl bei "Enable X11 forwarding" setzen

In Connection->SSH:

• in dem Feld "Remote command:" "tXXXX gupu" eingeben, wobei tXXXX der eigene username ist.

Nun am besten diese Konfiguration in den Session Optionen speichern und die Session starten (auf "Open" klicke). Jetzt sollte man sich mit dem Server verbinden, das 1. Passwort ist logique, das 2. Passwort das eigene Passwort. Nach einigen Sekunden sollte nun GUPU im Xming Fenster erscheinen.

Andere Meinung: Ich musste in dem Feld "Remote command:" "tXXXX gupu -trygs" eingeben, damit es sich verbindet