diff options
| -rw-r--r-- | doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn b/doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn new file mode 100644 index 00000000..d42d4f79 --- /dev/null +++ b/doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn @@ -0,0 +1,23 @@ +Config snippet to reproduce: + + & Chroot.provisioned sidChroot + where + sidChroot = Chroot.debootstrapped mempty "/tmp/sid" $ props + & osDebian Unstable X86_64 + & User.accountFor (User "spwhitton") + & userScriptProperty (User "spwhitton") + [ "echo hello > /home/spwhitton/greeting" ] + `assume` MadeChange + +During a spin, I see the error `Cannot execute /bin/sh`. + +I can obtain the error manually as follows. My `/tmp` is not mounted `noexec`. + + iris ~ % sudo chroot /tmp/sid /bin/bash + [sudo] password for spwhitton: + root@iris:/# su --shell /bin/sh -c "echo hello > /home/spwhitton/greeting" spwhitton + Cannot execute /bin/sh + root@iris:/# su --shell /bin/sh spwhitton + Cannot execute /bin/sh: Permission denied + +--spwhitton |