# Device filesystems
SANDBOX_WRITE="/dev/ptmx:/dev/pts/:/dev/shm"
# Tempory storage
SANDBOX_WRITE="/tmp/:/var/tmp/"
SANDBOX_WRITE="/tmp/:/var/tmp/:/usr/tmp/"
# Needed for shells
SANDBOX_WRITE="${HOME}/.bash_history"
-