diff options
author | edef <edef@edef.eu> | 2020-02-18 13:18:03 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-18 13:18:03 +0000 |
commit | f8c8f523a8f6377a3ffe42cb2228d03dad4f30b8 (patch) | |
tree | dc2134e0feaf873e2033eb580b606792574c7f63 /doc | |
parent | 329102c47bd1c68f0acdf4feec64232202948c7a (diff) | |
parent | 2aa4fba8d13532c249a2e814017633e2737ded0a (diff) |
Merge pull request #80279 from edef1c/ocitools-exec
doc/ociTools: exec is a shell builtin, not an external command
Diffstat (limited to 'doc')
-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 = { |