changeset 1266:68da5da2a403

Provide a mount point for root user's home directory.
author Rob Landley <rob@landley.net>
date Fri, 22 Oct 2010 18:31:51 -0500
parents 918501f802d1
children cc56c6162563
files simple-root-filesystem.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/simple-root-filesystem.sh	Thu Oct 21 19:09:51 2010 -0500
+++ b/simple-root-filesystem.sh	Fri Oct 22 18:31:51 2010 -0500
@@ -20,7 +20,7 @@
 OLD_STAGE_DIR="$STAGE_DIR"
 if [ -z "$ROOT_NODIRS" ]
 then
-  mkdir -p "$STAGE_DIR"/{tmp,proc,sys,dev,home,mnt} &&
+  mkdir -p "$STAGE_DIR"/{tmp,proc,sys,dev,home,mnt,root} &&
   chmod a+rwxt "$STAGE_DIR/tmp" || dienow
 
   # Having lots of repeated locations at / and also under /usr is silly, so