@@ -240,13 +241,15 @@ latest official docker image distributed by SIS.
...
@@ -240,13 +241,15 @@ latest official docker image distributed by SIS.
Using our last example, let's create a file called "Dockerfile" and with
Using our last example, let's create a file called "Dockerfile" and with
the content shown below.
the content shown below.
# vim:set ft=dockerfile:
```bash
FROM openbis/jupyterhub-openbis-sis-20180405
# vim:set ft=dockerfile:
## Adding Python 3 library
FROM openbis/jupyterhub-openbis-sis-20180405
RUN export PATH=/vagrant_installation/miniconda3/bin:$PATH && \
## Adding Python 3 library
export LC_ALL=en_US.utf8 && \
RUN export PATH=/vagrant_installation/miniconda3/bin:$PATH&&\
export LANG=en_US.utf8 && \
export LC_ALL=en_US.utf8 &&\
pip install prettytable
export LANG=en_US.utf8 &&\
pip install prettytable
```
Please change the name of the image in the file to the one you are
Please change the name of the image in the file to the one you are
using.
using.
...
@@ -256,51 +259,56 @@ the official repository.
...
@@ -256,51 +259,56 @@ the official repository.
> :warning: **It is best practice to include both the name of the user and the creation date in the image name. This will help when dealing with many versions created by different users at different times**.
> :warning: **It is best practice to include both the name of the user and the creation date in the image name. This will help when dealing with many versions created by different users at different times**.
> :warning: **You can only have **ONE** jupyterhub-openbis image running on a server at one given time, since JupyterHub makes use of certain ports on the machine that are also configured in openBIS**.
> :warning: **You can only have **ONE** jupyterhub-openbis image running on a server at one given time, since JupyterHub makes use of certain ports on the machine that are also configured in openBIS**.
1. Find the jupyterhub-openbis-start.sh file in your server (please ask
1. Find the jupyterhub-openbis-start.sh file in your server (please ask
your admin).
your admin).
2\. Find the container id of the image that is currently running.
2. Find the container id of the image that is currently running.
$ docker ps
$ docker ps
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
a2b76d1dd204 jupyterhub-openbis-sis-20180405 "./vagrant/initial..." 4 seconds ago Up 2 seconds 0.0.0.0:8000-8002->8000-8002/tcp, 0.0.0.0:8081->8081/tcp nervous_leakey
a2b76d1dd204 jupyterhub-openbis-sis-20180405 "./vagrant/initial..." 4 seconds ago Up 2 seconds 0.0.0.0:8000-8002->8000-8002/tcp, 0.0.0.0:8081->8081/tcp nervous_leakey
3\. Stop the current container.
3. Stop the current container.
$ docker kill a2b76d1dd204
$ docker kill a2b76d1dd204
a2b76d1dd204
a2b76d1dd204
4\. Edit the jupyterhub-openbis-start.sh file in your server and update
4. Edit the jupyterhub-openbis-start.sh file in your server and update
the name of the image it runs to the one of your choice
the name of the image it runs to the one of your choice
@@ -309,31 +317,39 @@ Other useful Docker commands
...
@@ -309,31 +317,39 @@ Other useful Docker commands
> :warning: **It is best practice to include both the name of the user and the creation date in the image name. This will help when dealing with many versions created by different users at different times**.
> :warning: **It is best practice to include both the name of the user and the creation date in the image name. This will help when dealing with many versions created by different users at different times**.
$ docker save jupyterhub-openbis-sis-20180405 > jupyterhub-openbis-sis-20180405.tar
```bash
$ ls -lah
$ docker save jupyterhub-openbis-sis-20180405 > jupyterhub-openbis-sis-20180405.tar