|
|
# DrHaskell Installation (mit Docker)
|
|
|
|
|
|
## 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.
|
|
|
Unter Windows (aktuell nur Windows 10 oder Windows Server 2016 als 64-Bit Version mit aktiviertem Hyper-V) 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.
|
... | ... | @@ -21,7 +21,7 @@ Zuerst muss Docker mittels der [Docker-Toolbox] |
|
|
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.
|
|
|
|
|
|
## Installation Docker (Linux)
|
|
|
Unter Linux ist die Docker-Toolbox nicht vorhanden. Die Installation erfolgt vorzugsweise über die systemintegrierte Paketverwaltung wie z.B. apt, pacman, dnf, emerge,... und nach der Anleitung der jeweiligen Distribution.
|
|
|
Unter Linux ist die Docker-Toolbox nicht vorhanden. Die Installation erfolgt vorzugsweise über die systemintegrierte Paketverwaltung wie z.B. apt, pacman, dnf, emerge,... und nach der Anleitung der jeweiligen Distribution ([Ubuntu](https://docs.docker.com/engine/installation/linux/docker-ce/ubuntu/#install-using-the-repository), [Debian](https://docs.docker.com/engine/installation/linux/docker-ce/debian/), [Generische Binärdateien](https://docs.docker.com/engine/installation/linux/docker-ce/binaries/)).
|
|
|
Falls dies nicht möglich ist, kann Docker mit einem Installationsskript installiert werden:
|
|
|
|
|
|
`curl -fsSL get.docker.com -o get-docker.sh`
|
... | ... | |