|
# DrHaskell Installation (mit Docker)
|
|
# DrHaskell Installation (mit Docker)
|
|
|
|
|
|
## Installation Docker (Windows / macOS)
|
|
## Installation Docker (Windows)
|
|
|
|
Unter Windows kann Docker mittels [Docker for Windows](https://docs.docker.com/docker-for-windows/install/) installiert werden. Die Installationsanleitung auf der Docker-Homepage umfasst alle relevanten Teile der Installation.
|
|
|
|
|
|
|
|
Nachdem Docker for Windows installiert wurde ist es erforderlich die Festplatte der Docker-VM bekannt zu machen.
|
|
|
|
Hierzu muss über das Kontextmenü, von Docker for Windows, aus der Symbolleiste die Einstellungsseite aufgerufen werden.
|
|
|
|
|
|
|
|
![image001](/uploads/acf6c51e99a052369b2dfa1a33c59f9a/image001.png)
|
|
|
|
|
|
|
|
![image001-1](/uploads/b12fffcf6302cf72fc9a55a2138836d2/image001-1.png)
|
|
|
|
|
|
|
|
Der Menüpunkt "Shared Drives" bietet nun die gewünschten Optionen.
|
|
|
|
Im Normalfall genügt es die entsprechende Festplatte mittels der Checkbox auszuwählen und über "Apply" den Vorgang zu bestätigen.
|
|
|
|
Das gezeigte Powershell-Kommando ermöglich es die Verbindung zu testen.
|
|
|
|
Sollte das Kommando keine Ausgabe oder einen Fehler zeigen, so hilft es häufig die Berechtigungen zurückzusetzen. Diese Funktionalität verbirgt sich hinter dem Button/Link "Reset credentials" innerhalb des "Shared Drives"-Dialog. Das Zurücksetzen der Berechtigungen ist ebenfalls notwendig, wenn die Windows-Installation mit einem Domaincontroller verbunden ist und dieser nicht erreichbar ist und somit die Berechtigungen des Windows-Benutzers nicht prüfen kann.
|
|
|
|
|
|
|
|
## Installation Docker (macOS)
|
|
Zuerst muss Docker mittels der [Docker-Toolbox]
|
|
Zuerst muss Docker mittels der [Docker-Toolbox]
|
|
(https://www.docker.com/products/docker-toolbox) installiert werden.
|
|
(https://www.docker.com/products/docker-toolbox) installiert werden.
|
|
Im Normalfall wird durch die Installation bereits eine default-VM erstellt und gestartet. Sollte dies nicht der Fall sein, muss per Kommandozeile der Befehl `docker-machine create default` ausgeführt werden.
|
|
Im Normalfall wird durch die Installation bereits eine default-VM erstellt und gestartet. Sollte dies nicht der Fall sein, muss per Kommandozeile der Befehl `docker-machine create default` ausgeführt werden.
|
... | | ... | |