Allow faking your_{user,path,group} and homedir
authorClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 21:26:59 +0000 (17:26 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 21:26:59 +0000 (17:26 -0400)
commitb89f3b680b7d4c16d2b684487d5a202fa0e726ae
tree44523d105dc63199fdc28dd632a3ab38a642a6af
parent2f2d32b51088da5fb246fe9c7448f3cdd6a5907d
Allow faking your_{user,path,group} and homedir

Autodoc hates the your_FOO refinement types, and I see no reason why
users wouldn't want to fake these values if they are already faking
domain permissions. Additionally, set the homedir to /tmp if the user
is unset and we're faking privs.
src/domain.sml