Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-05-01 Thread Mick
On Sunday 01 May 2011 00:48:38 Alex Schuster wrote: Mark Shields writes: On Sat, Apr 30, 2011 at 5:15 AM, Alex Schuster wo...@wonkology.org mailto:wo...@wonkology.org wrote: I just wrote: Thomas Ulrich Nockmann writes: try 'umount -l /32/de' Cool, this

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-05-01 Thread Alex Schuster
Mick writes: On Sunday 01 May 2011 00:48:38 Alex Schuster wrote: The lazy unmount was Thomas' hint already and worked, the partition is no longer mounted. But I cannot fsck it, it is still in use. cryptsetup luksClose works neither. It's no big trouble, but still I'm curious why this

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-05-01 Thread Mick
On Sunday 01 May 2011 14:08:36 Alex Schuster wrote: Mick writes: On Sunday 01 May 2011 00:48:38 Alex Schuster wrote: The lazy unmount was Thomas' hint already and worked, the partition is no longer mounted. But I cannot fsck it, it is still in use. cryptsetup luksClose works neither.

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-04-30 Thread Thomas Ulrich Nockmann
On Saturday 30 April 2011 Alex Schuster wrote: [...] Hello, weird ~ # umount /32/dev umount: /32/dev: device is busy. (In some cases useful info about processes that use the device is found by lsof(8) or fuser(1)) try 'umount -l /32/de' Thomas

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-04-30 Thread Alex Schuster
Thomas Ulrich Nockmann writes: On Saturday 30 April 2011 Alex Schuster wrote: weird ~ # umount /32/dev umount: /32/dev: device is busy. (In some cases useful info about processes that use the device is found by lsof(8) or fuser(1)) try 'umount -l /32/de' Cool, this does

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-04-30 Thread Alex Schuster
I just wrote: Thomas Ulrich Nockmann writes: On Saturday 30 April 2011 Alex Schuster wrote: weird ~ # umount /32/dev umount: /32/dev: device is busy. (In some cases useful info about processes that use the device is found by lsof(8) or fuser(1)) try 'umount -l /32/de'

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-04-30 Thread Mark Shields
On Sat, Apr 30, 2011 at 5:15 AM, Alex Schuster wo...@wonkology.org wrote: I just wrote: Thomas Ulrich Nockmann writes: On Saturday 30 April 2011 Alex Schuster wrote: weird ~ # umount /32/dev umount: /32/dev: device is busy. (In some cases useful info about processes that

Re: [gentoo-user] How to unmount bind-mounted /dev?

2011-04-30 Thread Alex Schuster
Mark Shields writes: On Sat, Apr 30, 2011 at 5:15 AM, Alex Schuster wo...@wonkology.org mailto:wo...@wonkology.org wrote: I just wrote: Thomas Ulrich Nockmann writes: try 'umount -l /32/de' Cool, this does the trick! But it does not help :( After

[gentoo-user] How to unmount bind-mounted /dev?

2011-04-29 Thread Alex Schuster
Hi there! I want to shrink [*] a partition that holds a 32-bit Gentoo chroot. But I cannot unmount it, the device is busy because proc and /dev is bind-mounted there. And I cannot unmount this /dev, again, the device is busy: weird ~ # umount /32/dev umount: /32/dev: device is busy. (In