|
|
# DrHaskell Installation (mit Docker)
|
|
|
|
|
|
## Installation Docker
|
|
|
Zuerst muss Docker mittels der [Docker-Toolbox]
|
|
|
(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.
|
|
|
|
|
|
## Docker Image herunterladen
|
|
|
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.
|
|
|
|
|
|
## Startskripte installieren |
|
|
\ No newline at end of file |
|
|
## Startskripte installieren
|
|
|
Zur Nutzung von DrHaskell innerhalb des Docker-Containers sind im Ordner `dockercall` für MacOSX/Linux und Windows Startskripte hinterlegt.
|
|
|
Die Skripte für 'drhaskell' mounten das aktuelle Verzeichnis in die VM und starten die DrHaskell-REPL innerhalb des gelinkten Ordners.
|
|
|
`drhaskell-lint` setzt zusätzlich noch eine Umgebungsvariable um dem Linter das richtige Pfadmapping mitzuteilen. |
|
|
\ No newline at end of file |