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
Copy file name to clipboardExpand all lines: doc/available-tools.md
-168
Original file line number
Diff line number
Diff line change
@@ -352,171 +352,3 @@ Additionally to all of the `slim` tools shown above, the following PHP cli tools
352
352
[lnk_zsh]: ../php_tools/zsh
353
353
354
354
<!-- TOOLS_WORK_END -->
355
-
356
-
357
-
### PHP Tools (`work`) - deprecated
358
-
359
-
> **Disclaimer:** It is currently not clear what tools are available in which PHP image (version-dependent). This documentation was done by hand and work has currently started to automate this and keep exact tools up-to-date for each of the provided PHP version.
Copy file name to clipboardExpand all lines: doc/flavours.md
+4
Original file line number
Diff line number
Diff line change
@@ -29,6 +29,10 @@ Generic PHP-FPM image with fully loaded extensions. Use it to derive your own ph
29
29
30
30
Devilbox production image. This Docker image comes with many injectables, port-forwardings, mail-catch-all and user/group rewriting.
31
31
32
+
#### Image: slim
33
+
34
+
Devilbox intranet-ready image. Similar to `prod`, but contains least subset of required cli tools to make the Devilbox intranet work.
35
+
32
36
#### Image: work
33
37
34
38
Devilbox development image. Same as prod, but comes with lots of locally installed tools to make development inside the container as convenient as possible. See [Integrated Development Environment](../README.md#integrated-development-environment) for more information about this.
0 commit comments