On Mon, 5 Jul 1999, Paulo Henrique Baptista de Oliveira wrote: > Hi Debian users, > I installed Debian at my friend's lab and he wants to install > everything > in /usr under /usr/local to remote mount. > What is the safesty way to copy /usr to /usr/local? Why not just export /usr instead of /usr/local?