diff options
| author | stuebinm | 2021-05-17 17:11:47 +0200 |
|---|---|---|
| committer | stuebinm | 2021-05-17 17:11:47 +0200 |
| commit | aeb24f296fe339187d2c94f57b144f8d45f554b9 (patch) | |
| tree | 7071116a5da5de48a302621cecce5c66ed5c978b /isabelle-nix-fhsenv/Readme.org | |
| parent | 49c079b623bbbf56cbab607b1008e3f537f50935 (diff) | |
nix oci container: add escape hatch to docker config
This now allows to write arbitrary values into the config of the docker
containers generated, if so desired.
It also now creates working directories /before/ executing any preStart
scripts (which would lead to crashes before).
Diffstat (limited to 'isabelle-nix-fhsenv/Readme.org')
0 files changed, 0 insertions, 0 deletions