Re: Q on documentation

[Andrew Clausen]

Gijs wrote:
> What I don't follow:  the end_number of the new created  partition
> is the former end _number of  /home
> 
> I would expect it should bne the end_number of /var. Else there is no growing
> of /var, or?

Oooops!  I missed out 1 step:  After doing "rm 7" (old /var),
you can now do "resize 9 6000 7326.5".

/me fixes that now

(Actually, the old steps are technically accurate, although
they waste some space)

Thanks!
Andrew Clausen