summaryrefslogtreecommitdiff
path: root/debian/patches/rc.patch
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-21 00:24:23 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-21 00:25:16 +0100
commit4d550247ec47c862e034878efac62c8bc44fd68f (patch)
tree1fd56c2c0a881205ec2c35e9a98937f6542699a8 /debian/patches/rc.patch
parent314d3023d8cbfcd164fcd7a08827e2dc63feed22 (diff)
parentdd1164c7a26e411c59154f0560717315b22bb014 (diff)
Merge branch 'master' of git.debian.org:/git/pkg-hurd/hurd
Diffstat (limited to 'debian/patches/rc.patch')
-rw-r--r--debian/patches/rc.patch6
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/rc.patch b/debian/patches/rc.patch
index fffbb467..a4be4aa5 100644
--- a/debian/patches/rc.patch
+++ b/debian/patches/rc.patch
@@ -19,11 +19,11 @@ More debianish rc scripts
+ fsysopts / --update --writable
;;
# Filesystem modified (but ok now)
- 1 | 2)
+ 1)
+ fsysopts / --update --writable
;;
- # Fsck couldn't fix it.
- 4 | 8)
+ # Filesystem modified, filesystem should be restarted
+ # Ideally we would only restart the filesystem
@@ -85,12 +88,25 @@ if test -d /tmp; then
fi