Gentoo Archives: gentoo-user

From: Alex Schuster <wonko@×××××××××.org>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] How to unmount bind-mounted /dev?
Date: Sun, 01 May 2011 13:10:18
Message-Id: 201105011508.37694.wonko@wonkology.org
In Reply to: Re: [gentoo-user] How to unmount bind-mounted /dev? by Mick
1 Mick writes:
2
3 > On Sunday 01 May 2011 00:48:38 Alex Schuster wrote:
4
5 > > The lazy unmount was Thomas' hint already and worked, the partition is
6 > > no longer mounted. But I cannot fsck it, it is still in use. cryptsetup
7 > > luksClose works neither.
8 > > It's no big trouble, but still I'm curious why this is.
9
10 > Asking the obvious: could this message be there because this partition
11 > is still mounted?
12
13 I grepped /proc/mounts for it and saw no references. I'm pretty sure I did
14 not overlook something. And it's already the second time I tried this, one
15 month ago the same had happened, but I did not care about it then.
16
17 > Did you check that this partition has been unmounted
18 > from all mount points, both original mount point and bind-mount?
19
20 The partition only has one mount point, but others were mounted inside it:
21
22 /dev/mapper/32 on /32 type ext3 (rw,noatime)
23 /dev on /32/dev type none (rw,bind)
24 /proc on /32/proc type none (rw,bind)
25 /home on /32/home type none (rw,bind,noatime)
26 /var/portage on /32/var/portage type none (rw,bind,noatime)
27
28 /var/portage has another file system inside for the portage tree. When I
29 want to unmount /32/var/portage, I have to unmount /32/var/portage/tree
30 first. All except /32/dev could be unmounted, for /32/dev I needed the -l
31 option to mount. Then /32 itself could be unmounted. But things like fsck or
32 'cryptsetup remove' failed, /dev/mapper/32 was in use.
33
34 Then I rebooted, but I had forgotten to save my changes to fstab, so all
35 those things were again mounted. I tried again anyway, and this time there
36 was no problem. I had to use umount -l for /32/dev again, and this time also
37 for /32/proc (that was not necessary the last time), but after unmounting
38 /32, I could fsck its partition and shrink it.
39
40 I have no idea why it did not work the last times I tried. I'll try to
41 reproduce this from time to time, maybe after some more uptime and work on
42 this partition it will happen again.
43
44 Wonko

Replies

Subject Author
Re: [gentoo-user] How to unmount bind-mounted /dev? Mick <michaelkintzios@×××××.com>