A friend of mine mounted several ISOs on a server. As I had to free some memory I : rm -f some the ISOs directory (didn’t know that it was a mount)… But the space is still not freed. And now he doesn’t remember from where he mounted these ISO.
How can I do now to umount these ISOs properly.
On 2011-12-13 17:46, T0ky wrote:
>
> Hi,
>
> A friend of mine mounted several ISOs on a server. As I had to free
> some memory I : rm -f some the ISOs directory (didn’t know that it was a
> mount)… But the space is still not freed.
Well, removing files does not free RAM, ie, memory. If you refer to disk
space, it is not freed because those mounts are read-only, and in any case,
fictitious space, not real. They may dissapear from sight, but must be
there somehow.
> And now he doesn’t remember
> from where he mounted these ISO.
The bash history should show the command he used. Also, you can issue
“mount” to see what is mounted and where.
–
Cheers / Saludos,
Carlos E. R.
(from 11.4 x86_64 “Celadon” at Telcontar)
As Carlos said, issue the mount command and it will give you a list of mounts. The ones you are looking for involve /dev/loopN. You can umount either the device or the mount point, either will work.
Since it’s a server I won’t suggest you reboot. But if it’s a machine that you don’t care keeping up all the time, that would be a lazy and brute force way to umount.