From ecdadab656528eec0b73b34ce9a43166677b4a09 Mon Sep 17 00:00:00 2001 From: spwhitton Date: Sun, 20 Nov 2016 01:33:33 +0000 Subject: report userScriptProperty bug --- ...perty_fails_inside_a_debootstrapped_chroot.mdwn | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn 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 -- cgit v1.2.3