Package: di-utils-mount-partitions Version: 0.19 (not installed) Severity: normal
If offering partitions to be umounted, ensure that either - (1) child partitions are umounted too, or (2) parents aren't offered. e.g. if / and /boot are mounted, either umounting / also umounts /boot (possibly giving warning), or / shouldn't be offered until /boot umounted. I'd recommend the first. -- System Information: Debian Release: testing/unstable Architecture: i386 Kernel: Linux coll 2.4.20-686 #1 Mon Jan 13 22:22:30 EST 2003 i686 Locale: LANG=C, LC_CTYPE=C (ignored: LC_ALL set) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
