diff options
author | Roger Leigh <rleigh@debian.org> | 2008-01-09 23:34:59 +0000 |
---|---|---|
committer | Roger Leigh <rleigh@debian.org> | 2008-01-09 23:34:59 +0000 |
commit | b2a3de936b1c29b7b9280a7cd393022c3814681c (patch) | |
tree | 4e4c558e65d2839f083d18e8875f31a0061d7827 /bin | |
parent | ff92dcd5b726f8d7bed51d835be3841d01b01c86 (diff) | |
download | schroot-b2a3de936b1c29b7b9280a7cd393022c3814681c.tar.gz |
* bin/schroot/mount.defaults: New file. Defaults for
schroot-mount. To be used in 10mounts and script-defaults.
Diffstat (limited to 'bin')
-rw-r--r-- | bin/schroot/mount.defaults | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bin/schroot/mount.defaults b/bin/schroot/mount.defaults new file mode 100644 index 00000000..522e91e5 --- /dev/null +++ b/bin/schroot/mount.defaults @@ -0,0 +1,10 @@ +# mount.defaults: static file system information for chroots. +# Note that the mount point will be prefixed by the chroot path +# (CHROOT_PATH) +# +# <file system> <mount point> <type> <options> <dump> <pass> +proc /proc proc defaults 0 0 +/dev/pts /dev/pts none rw,bind 0 0 +tmpfs /dev/shm tmpfs defaults 0 0 +/home /home none rw,bind 0 0 +/tmp /tmp none rw,bind 0 0 |