doc/ociTools: exec is a shell builtin, not an external command

2019-12-25 17:46:06 +00:00 · 2019-12-25 17:46:06 +00:00 · 2aa4fba8d1
parent 201d464f12
commit 2aa4fba8d1
1 changed files with 1 additions and 1 deletions
--- 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 = {