diff options
| author | edef <edef@edef.eu> | 2019-12-25 17:46:06 +0000 |
|---|---|---|
| committer | edef <edef@edef.eu> | 2020-02-16 17:41:06 +0000 |
| commit | 2aa4fba8d13532c249a2e814017633e2737ded0a (patch) | |
| tree | afb6de11eb551a23d457a29264237c13d369f585 /doc/builders | |
| parent | 201d464f1207961f535f3b70fb305dd016dcd882 (diff) | |
doc/ociTools: exec is a shell builtin, not an external command
Diffstat (limited to 'doc/builders')
| -rw-r--r-- | doc/builders/images/ocitools.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/builders/images/ocitools.xml b/doc/builders/images/ocitools.xml index f61075b242f8..e8cd3472f54d 100644 --- a/doc/builders/images/ocitools.xml +++ b/doc/builders/images/ocitools.xml @@ -25,7 +25,7 @@ buildContainer { args = [ (with pkgs; writeScript "run.sh" '' #!${bash}/bin/bash - ${coreutils}/bin/exec ${bash}/bin/bash + exec ${bash}/bin/bash '').outPath ]; <co xml:id='ex-ociTools-buildContainer-1' /> mounts = { |