You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -35,17 +35,17 @@ repository to your account, and clone the branch.
35
35
Step 2. Choose your Configuration
36
36
.................................
37
37
38
-
The hidden folder `.circleci/config.yml` has instructions for `CircleCI <https://circleci.com/dashboard/>`_
38
+
The hidden folder `.circleci/config.yml` has instructions for `CircleCI <https://circleci.com/dashboard/>`_
39
39
to automatically discover and build your repo2docker jupyter notebook container.
40
-
The default template provided in the repository in this folder will do the most basic steps,
40
+
The default template provided in the repository in this folder will do the most basic steps,
41
41
including:
42
42
43
43
1. clone of the repository with the notebook that you specify
44
44
2. build
45
45
3. push to Docker Hub
46
46
47
47
This repository aims to provide templates for your use.
48
-
If you have a request for a new template, please
48
+
If you have a request for a new template, please
49
49
`let us know <https://www.github.com/binder-examples/continuous-build/issues/>`_.
50
50
We will add templates as they are requested to do additional tasks like test containers, run
51
51
nbconvert, etc.
@@ -57,7 +57,7 @@ creating a new folder called "myrepo" and then copying the entire folder there.
57
57
mkdir -p myrepo
58
58
cp -R continuous-build/.circleci myrepo/
59
59
60
-
You would then logically create a Github repository in the "myrepo" folder,
60
+
You would then logically create a Github repository in the "myrepo" folder,
61
61
add the circleci configuration folder, and continue on to the next steps.
62
62
63
63
cd myrepo
@@ -69,7 +69,7 @@ Step 3. Docker Hub
69
69
..................
70
70
Go to `Docker Hub <https://hub.docker.com/>`_, log in, and click the big blue
71
71
button that says "create repository" (not an automated build). Choose an organization
72
-
and name that you like (in the traditional format ``<ORG>/<NAME>``), and
72
+
and name that you like (in the traditional format ``<ORG>/<NAME>``), and
73
73
remember it! We will be adding it, along with your
74
74
Docker credentials, to be encrypted CircleCI environment variables.
75
75
@@ -78,12 +78,12 @@ Step 4. Connect to CircleCI
78
78
...........................
79
79
If you navigate to the main `app page <https://circleci.com/dashboard/>`_ you
80
80
should be able to click "Add Projects" and then select your repository. If you don't
81
-
see it on the list, then select a different organization in the top left. Once
81
+
see it on the list, then select a different organization in the top left. Once
82
82
you find the repository, you can click the button to "Start Building" adn accept
83
83
the defaults.
84
84
85
85
Before you push or trigger a build, let's set up the following environment variables.
86
-
Also in the project interface on CirleCi, click the gears icon next to the project
86
+
Also in the project interface on CirleCi, click the gears icon next to the project
87
87
name to get to your project settings. Under settings, click on the "Environment
88
88
Variables" tab. In this section, you want to define the following:
89
89
@@ -92,7 +92,7 @@ Variables" tab. In this section, you want to define the following:
92
92
3. ``DOCKER_USER`` and ``DOCKER_PASS`` should be your credentials (to allowing pushing)
93
93
4. ``REPO_NAME`` should be the full Github url (or other) of the repository with the notebook. This doesn't have to coincide with the repository you are using to do the build (e.g., "myrepo" in our example).
94
94
95
-
If you don't define the ``CONTAINER_NAME`` it will default to be the repository where it is
95
+
If you don't define the ``CONTAINER_NAME`` it will default to be the repository where it is
96
96
building from, which you should only do if the Docker Hub repository is named equivalently.
97
97
If you don't define either of the variables from step 3. for the Docker credentials, your
98
98
image will build but not be pushed to Docker Hub. Finally, if you don't define the ``REPO_NAME``
@@ -120,7 +120,7 @@ You should then be able to pull your new container, and run it! Here is an examp
0 commit comments