[DOCKER] Aufbau der Penronse-Umgebung [Windows]
Zweck
Ich wollte Penronse verwenden, eine Zeichensoftware, die Figuren aus mathematischen Formeln erstellt. Lesen Sie den folgenden Artikel und versuchen Sie, eine Umgebung zu erstellen, in der Penronse unter Windows 10 verwendet werden kann. Bezieht sich dieser Software-Name auf Herrn Penrose, der den Nobelpreis gewonnen hat?
1. Umweltbau
In diesem Abschnitt wird beschrieben, wie Sie eine Penrose-Umgebung für Windows 10 erstellen.
1.1 Docker In diesem Abschnitt wird beschrieben, wie Sie eine Docker-Umgebung erstellen. Da WSL als WSL1 alt war, aktualisieren Sie auf WSL2 [1]. Aktualisieren Sie die Einstellungen von Ubuntu-18.04, die zuvor unter Windows 10 installiert wurden, von WSL1 auf WSL2.
$ wsl set-version Ubuntu-18.04 2
Erstellen Sie nach dem Aktualisieren der WSL-Einstellungen die Docker-Umgebung. Installieren Sie zunächst Docker Hub. Wenn Sie die BIOS-Einstellungen nicht ändern, tritt in Docker Hub ein Fehler auf. Ändern Sie daher die Einstellungen. Aktivieren Sie "Intel VT-x" und "Intel Virtualization Technology" im BIOS [[2]](https://algorithm.joho.info/programming/docker-for-windows-hardware-assisted-virtualization-and- Datenausführungsschutz muss im BIOS aktiviert werden /). Damit ist die Erstellung der Docker-Umgebung abgeschlossen.
1.2 Penrose Dieser Abschnitt beschreibt die Umgebungskonstruktion von Penrose. Wir werden eine Penrose-Umgebung auf dem Ubuntu-18.04-Terminal erstellen, das als WSL2 festgelegt ist. Wenn ich versuche, eine Penrose-Umgebung zu erstellen, schlägt die Installation von npm fehl. Wenn Sie npm mit apt-get gehorsam installieren, schlägt dies fehl. Installieren Sie npm daher mit apptitude [3].
$ sudo apt-get install aptitude
$ sudo aptitude install npm
$ which npm
Laden Sie den Penrose-Container herunter und richten Sie ihn ein. Ich erhalte eine Warnmeldung in npm, ignoriere sie aber (Hilfe ...). Zu diesem Zeitpunkt wurde die Umgebung so eingerichtet, dass sie mit denselben Befehlen wie im Originalartikel ausgeführt werden kann.
$ docker pull vanessa/penrose
$ cd penrose
$ make recreate-dev
$ make dev-build
2. Bedienung
Dieser Abschnitt beschreibt die Funktionsweise von Penrose. Führen Sie den Penrose-Container im mit WSL2 konfigurierten Ubuntu-18.04-Terminal aus.
$ make start-dev
Sie können das Ergebnis visualisieren, indem Sie den folgenden Befehl ausführen.
$ make penrose set-theory-domain/tree.sub set-theory-domain/venn.sty set-theory-domain/setTheory.dsl
#Vom Browser http://localhost:Zugriff auf 3500
3. Zusammenfassung
Ich konnte Penronse unter Windows 10 ausführen. Wir planen, anhand des Beispielcodes zusammenzufassen, wie Penronse verwendet wird.
Recommended Posts