Bug#186290: di-utils-mount-partitions: Don't present parent dirs to be umounted

[Alastair McKinstry <mckinstry@computer.org>]

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)