diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-21 00:24:23 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-21 00:25:16 +0100 |
commit | 4d550247ec47c862e034878efac62c8bc44fd68f (patch) | |
tree | 1fd56c2c0a881205ec2c35e9a98937f6542699a8 /debian/patches/rc.patch | |
parent | 314d3023d8cbfcd164fcd7a08827e2dc63feed22 (diff) | |
parent | dd1164c7a26e411c59154f0560717315b22bb014 (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.patch | 6 |
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 |