Skip to content
Snippets Groups Projects
Commit b4a965fe authored by Michal Slupczynski's avatar Michal Slupczynski
Browse files

added pull=always to docker-run

parent e5c94936
No related branches found
No related tags found
No related merge requests found
No preview for this file type
......@@ -15,7 +15,7 @@ Die angegebenen Befehle wurden in der **Windows 10 Powershell** getestet. Linux
- Einfügen funktioniert normalerweise via Rechtsklick.
2. Erstellen Sie den Ordner `notebooks` und führen Sie den `docker run`-Befehl (siehe 3.) in dem selben Pfad aus.
3. Nach dem Login kann der Container wie folgt gestartet werden:
`docker run --rm -it -v ${PWD}/notebooks:/home/jovyan -p 8888:8888 registry.git.rwth-aachen.de/i5/teaching/dbis-raw`
`docker run --rm -it --pull=always -v ${PWD}/notebooks:/home/jovyan -p 8888:8888 registry.git.rwth-aachen.de/i5/teaching/dbis-raw`
- Dieser Befehl erstellt oder benutzt den Ordner `notebooks` relativ vom _working directory_ der Konsole. Dort wird das Git-Repository der Übung heruntergeladen, ähnlich der Jupyter Umgebung. Dieser Ordner kann auf dem Host-System benutzt werden, um Dateien mit der Jupyter-Umgebung auszutauschen.
- Die Zahl `8888:` vor dem Doppelpunkt gibt den Port auf der Hostmaschine an, die Zahl nach dem Doppelpunkt `:8888` sollte nicht verändert werden, da sie den Port im Jupyter-Container beschreibt.
4. Nachdem der Container gestartet ist, wird in der Konsole ein Link angezeigt.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment