On Thu, Aug 16, 2012 at 10:22 PM, Myra Nelson <myra.nelson@hughes.net> wrote:
of lib and lib64 to /usr/lib, I'm basically ambivalent. I still don't like not being able to put /usr on a separate partition, I know there's a mkinitcpio hook to cover that, but I can see the logic in cleaning up the
Thank you for a reasoned posting - one comment here about the issue of /usr on a separate partition - if you put /usr on a separate partition and then made a bind mount to / would that not work? I have not tried it though! I have been doing this for /home which is a directory /opt/home and /opt is a separate partition - I then bind mount it to /home as a directory in the root partition. It has never given a problem so I wondered if the analogous technique might work for /usr too? This is a side comment and I am not trying to subvert the main thread discussion here. -- mike c