|
# DrHaskell Installation (mit Docker)
|
|
# DrHaskell Installation (mit Docker)
|
|
|
|
|
|
## Installation Docker
|
|
## Installation Docker (Windows / 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.
|
|
|
|
|
|
|
|
## Installation Docker (Linux)
|
|
|
|
Unter Linux ist die Docker-Toolbox nicht vorhanden. Die Installation erfolgt wahlweise über eine vorinstallierte Packetverwaltung wie z.B. aptitude, das Kompilieren aus den Sourcedateien oder mittels eines Convenience-Scripts.
|
|
|
|
In dieser Anleitung wird die Installation mittels des Convenience-Scripts näher erläutert, da diese Methode die meisten Linux-Distributionen hierüber abgedeckt sind.
|
|
|
|
Vor der eigentlichen Installation muss das Convenience-Script heruntergeladen werden.
|
|
|
|
Dies geschieht mit dem folgenden Kommando:
|
|
|
|
|
|
|
|
`curl -fsSL get.docker.com -o get-docker.sh`
|
|
|
|
|
|
|
|
Anschließend muss das Script mit folgendem Kommando ausgeführt werden:
|
|
|
|
|
|
|
|
`sudo sh get-docker.sh`
|
|
|
|
|
|
## Docker Image herunterladen
|
|
## Docker Image herunterladen
|
|
Das Einspielen des eigentlichen Docker-Images ist mit einem Befehl erledigt.
|
|
Das Einspielen des eigentlichen Docker-Images ist mit einem Befehl erledigt.
|
|
Mit `docker pull jonasbusse/drhaskell` wird das aktuelle Image aus dem Docker-Hub geladen und in der aktuell laufenden Docker-VM installiert.
|
|
Mit `docker pull jonasbusse/drhaskell` wird das aktuelle Image aus dem Docker-Hub geladen und in der aktuell laufenden Docker-VM installiert.
|
... | | ... | |