Re: resizing the root file system

[Edgar Fuß <ef%math.uni-bonn.de@localhost>]

> Or you can use a normal fsck, let it set the size back down, and then 
> resize it again when you're done.
That worked, thanks.

However, trying to mount -u -o reload / resulted in

mount_ffs: /dev/raid0a on /: specified device does not match mounted device

so I needed to reboot again (from single user).

I still wonder how /etc/rc.d/resize_root handles this.