summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorspwhitton2016-11-20 01:33:33 +0000
committeradmin2016-11-20 01:33:33 +0000
commitecdadab656528eec0b73b34ce9a43166677b4a09 (patch)
treef44d5d9b1914e8d3d49bfcd6706a4d43f16bf5e5
parent6fb9851939418570a740586b3b5f633f054aff08 (diff)
report userScriptProperty bug
-rw-r--r--doc/todo/userScriptProperty_fails_inside_a_debootstrapped_chroot.mdwn23
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