Re: Moving to a new partition for /usr

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

 



> 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


[Index of Archives]     [Current Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]     [Fedora Docs]

  Powered by Linux