summaryrefslogtreecommitdiffstats
path: root/etc/schroot/default
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-18 19:28:10 +0200
committerHolger Levsen <holger@layer-acht.org>2014-10-18 19:54:52 +0200
commit7aaed3108923a756b9418226c94469961990ce5c (patch)
treecfba00e8c0d1aaa2232d8af2d9ddc23c384e5586 /etc/schroot/default
parent220af83f26581f2c0c9bf682ccbf70f43b0dc8b5 (diff)
downloadjenkins.debian.net-7aaed3108923a756b9418226c94469961990ce5c.tar.xz
reproducible: run debbindiff from within a(nother) sid schroot (created by another job)
Diffstat (limited to 'etc/schroot/default')
-rw-r--r--etc/schroot/default/fstab21
1 files changed, 21 insertions, 0 deletions
diff --git a/etc/schroot/default/fstab b/etc/schroot/default/fstab
new file mode 100644
index 00000000..e54d0fb4
--- /dev/null
+++ b/etc/schroot/default/fstab
@@ -0,0 +1,21 @@
+# fstab: 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 none rw,bind 0 0
+/sys /sys none rw,bind 0 0
+/dev /dev none rw,bind 0 0
+/dev/pts /dev/pts none rw,bind 0 0
+/home /home none rw,bind 0 0
+#/tmp /tmp none rw,bind 0 0
+/srv /srv none rw,bind 0 0
+
+# It may be desirable to have access to /run, especially if you wish
+# to run additional services in the chroot. However, note that this
+# may potentially cause undesirable behaviour on upgrades, such as
+# killing services on the host.
+#/run /run none rw,bind 0 0
+#/run/lock /run/lock none rw,bind 0 0
+#/dev/shm /dev/shm none rw,bind 0 0
+#/run/shm /run/shm none rw,bind 0 0