Merge pull request #80279 from edef1c/ocitools-exec

doc/ociTools: exec is a shell builtin, not an external command
This commit is contained in:
edef 2020-02-18 13:18:03 +00:00 committed by GitHub
commit f8c8f523a8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 = {