diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2020-06-10 23:16:14 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-06-10 23:16:14 +0200 |
| commit | 0910cf34c735d6b59b495e0b0dfff08d21fce7ac (patch) | |
| tree | 32b0cec8b6d77180a67e1e673b8fbc6915686b0c /Docker | |
| parent | 7f76c8e553a498f8235c5fa79622b6d79b86765b (diff) | |
Add support for extensions in Docker environment (#3042)
By default, the container starts without extensions. But if for some reasons,
you need to add them without copying or moving some code, you can embed them
while starting the container. The syntax is:
```
make start extensions="/full/path/to/extension/1 /full/path/to/extension/2"
```
Diffstat (limited to 'Docker')
0 files changed, 0 insertions, 0 deletions