[DOCKER] Construction de l'environnement Penronse [Windows]
Objectif
Je voulais utiliser Penronse, un logiciel de dessin qui crée des figures à partir de formules mathématiques. Reportez-vous à l'article ci-dessous et essayez de créer un environnement dans lequel Penronse peut être utilisé sur Windows 10. Ce nom de logiciel fait-il référence à M. Penrose, qui a remporté le prix Nobel?
1. Construction de l'environnement
Cette section décrit comment créer un environnement Penrose pour Windows 10.
1.1 Docker Cette section décrit comment créer un environnement Docker. Étant donné que WSL était ancien en tant que WSL1, mettez à jour vers WSL2 [1]. Mettez à jour les paramètres d'Ubuntu-18.04 précédemment installés sur Windows 10 de WSL1 vers WSL2.
$ wsl set-version Ubuntu-18.04 2
Après avoir mis à jour les paramètres WSL, créez l'environnement Docker. Tout d'abord, installez Docker Hub. Si vous ne modifiez pas les paramètres du BIOS, une erreur se produira dans Docker Hub, modifiez donc les paramètres. Activez «Intel VT-x» et «Intel Virtualization Technology» dans le BIOS [[2]](https://algorithm.joho.info/programming/docker-for-windows-hardware-assisted-virtualization-and- la protection de l'exécution des données doit être activée dans le bios /). Ceci termine la construction de l'environnement Docker.
1.2 Penrose Cette section décrit la construction de l'environnement de Penrose. Créez un environnement Penrose dans le terminal Ubuntu-18.04 défini comme WSL2. Lorsque j'essaye de créer un environnement Penrose, l'installation de npm échoue. Si vous installez npm avec apt-get docilement, cela échouera, donc installez npm en utilisant apptitude [3].
$ sudo apt-get install aptitude
$ sudo aptitude install npm
$ which npm
Téléchargez et configurez le conteneur Penrose. Je reçois un message d'avertissement dans npm, mais l'ignore (aide ...). À ce stade, l'environnement a été configuré de manière à pouvoir être exécuté avec les mêmes commandes que l'article d'origine.
$ docker pull vanessa/penrose
$ cd penrose
$ make recreate-dev
$ make dev-build
2. Comment faire fonctionner
Cette section décrit le fonctionnement de Penrose. Exécutez le conteneur Penrose dans le terminal Ubuntu-18.04 configuré avec WSL2.
$ make start-dev
Vous pouvez visualiser le résultat en exécutant la commande ci-dessous.
$ make penrose set-theory-domain/tree.sub set-theory-domain/venn.sty set-theory-domain/setTheory.dsl
#Depuis le navigateur http://localhost:Accès 3500
3. Résumé
J'ai pu exécuter Penronse sur Windows 10. Nous prévoyons de résumer comment utiliser Penronse en fonction de l'exemple de code.
Recommended Posts