2015-08-26 17:37:48 +01:00
|
|
|
{ runCommand, writeText, writeScriptBin, stdenv, ruby } : { env, runScript ? "bash" } :
|
2015-02-05 15:14:28 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
name = env.pname;
|
|
|
|
|
|
|
|
# Sandboxing script
|
2015-04-22 13:50:49 +01:00
|
|
|
chroot-user = writeScriptBin "chroot-user" ''
|
|
|
|
#! ${ruby}/bin/ruby
|
|
|
|
${builtins.readFile ./chroot-user.rb}
|
|
|
|
'';
|
2015-02-05 15:14:28 +00:00
|
|
|
|
2015-08-26 17:37:48 +01:00
|
|
|
init = run: writeText "${name}-init" ''
|
|
|
|
# Make /tmp directory
|
|
|
|
mkdir -m 1777 /tmp
|
2015-08-23 23:59:20 +01:00
|
|
|
|
2015-08-26 17:37:48 +01:00
|
|
|
# Expose sockets in /tmp
|
|
|
|
for i in /host-tmp/.*-unix; do
|
|
|
|
ln -s "$i" "/tmp/$(basename "$i")"
|
|
|
|
done
|
2015-08-23 23:42:40 +01:00
|
|
|
|
2015-08-26 17:37:48 +01:00
|
|
|
[ -d "$1" ] && [ -r "$1" ] && cd "$1"
|
|
|
|
shift
|
|
|
|
exec ${run} "$@"
|
|
|
|
'';
|
2015-02-05 15:14:28 +00:00
|
|
|
|
2015-08-26 17:37:48 +01:00
|
|
|
in runCommand name {
|
|
|
|
passthru.env =
|
|
|
|
runCommand "${name}-shell-env" {
|
|
|
|
shellHook = ''
|
|
|
|
exec ${chroot-user}/bin/chroot-user ${env} bash -l ${init "bash"} "$(pwd)"
|
|
|
|
'';
|
|
|
|
} ''
|
|
|
|
echo >&2 ""
|
|
|
|
echo >&2 "*** User chroot 'env' attributes are intended for interactive nix-shell sessions, not for building! ***"
|
|
|
|
echo >&2 ""
|
|
|
|
exit 1
|
|
|
|
'';
|
|
|
|
} ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
cat <<EOF >$out/bin/${name}
|
2015-04-22 13:50:49 +01:00
|
|
|
#! ${stdenv.shell}
|
2015-08-26 17:37:48 +01:00
|
|
|
exec ${chroot-user}/bin/chroot-user ${env} bash -l ${init runScript} "\$(pwd)" "\$@"
|
|
|
|
EOF
|
|
|
|
chmod +x $out/bin/${name}
|
2015-04-22 13:50:49 +01:00
|
|
|
''
|