... | @@ -36,5 +36,10 @@ Mit `docker pull jonasbusse/drhaskell` wird das aktuelle Image aus dem Docker-Hu |
... | @@ -36,5 +36,10 @@ Mit `docker pull jonasbusse/drhaskell` wird das aktuelle Image aus dem Docker-Hu |
|
|
|
|
|
## Startskripte installieren
|
|
## Startskripte installieren
|
|
Zur Nutzung von DrHaskell innerhalb des Docker-Containers sind im Ordner `dockercall` für MacOSX/Linux und Windows Startskripte hinterlegt.
|
|
Zur Nutzung von DrHaskell innerhalb des Docker-Containers sind im Ordner `dockercall` für MacOSX/Linux und Windows Startskripte hinterlegt.
|
|
|
|
Die Startskripte können unter folgendem [Link](https://git.ps.informatik.uni-kiel.de/student-projects/mapro-2017-ss/tree/master/dockercalls) heruntergeladen werden.
|
|
|
|
Unter MacOS(X) können die Skripte "drhaskell.sh" und "drhaskell-lint.sh" verwendet werden.
|
|
|
|
Für Linux sind die Skripte "linux-drhaskell.sh" und "linux-drhhaskell-lint.sh" vorgesehen.
|
|
|
|
Die beiden verbleibenden Batch-Dateien sind unter Windows-Systemen zu verwenden.
|
|
|
|
|
|
Die Skripte für 'drhaskell' mounten das aktuelle Verzeichnis in die VM und starten die DrHaskell-REPL innerhalb des gelinkten Ordners.
|
|
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. |
|
`drhaskell-lint` setzt zusätzlich noch eine Umgebungsvariable um dem Linter das richtige Pfadmapping mitzuteilen. |
|
|
|
\ No newline at end of file |