[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Moving to a new partition for /usr



> That should work fine, before deleteing the old /usr I just make du -sh in
> both /usr/ and /usr01 too see if both are the same.
> Moreover, I would rename the origina /usr to another and use /usr instead
> of /usr01, just to do the things well, cause in a future when will be
> installing something it might fail cause the make configure or make install
> couldn't find the /usr and you probably have to make something
> like ./configure --prefix=/usr01 you know...
>
Thanks for all of the responses, I did it and it works fine.  Just a
note, I let the system mount the partition usr01 to the mount point
/usr, so I was not concerned about the --prefix=/usr01 stuff.

-- 
John
Registered Linux User 263680, get counted at
http://counter.li.org


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]