File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -41,15 +41,15 @@ by downloading and modifying some data.
41
41
42
42
Binder allows you to run an arbitrary
43
43
script *after * the environment has been installed. This is accomplished
44
- with a ** ``postBuild`` ** file. It will be run from the shell.
44
+ with a ``postBuild `` file. It will be run from the shell.
45
45
46
46
The Docker image for the repository will be run **after ** the ``postBuild ``
47
47
script has finished, meaning that the state of the repository will be baked
48
48
into the image itself. Be careful - this means that if you download a 10GB
49
49
dataset, you'll have at least a 10GB Docker image for your repository.
50
50
51
51
Another common task is to ensure some code is run just before users begin
52
- their session. You can accomplish this with a ** ``start`` ** configuration file.
52
+ their session. You can accomplish this with a ``start `` configuration file.
53
53
This file will be run **just before an interactive session begins **. It will
54
54
not be baked into your Binder repository's Docker image.
55
55
You can’t perform that action at this time.
0 commit comments