5 May
2003
5 May
'03
06:06
Florian Gross, Samstag, 3. Mai 2003 23:36:
_Das_ ist eigentlich unnötig, weil das alte /home ja weiterhin auf der Platte existiert. Es ist nur eine andere Partition unter diesem Verzeichnis eingehängt, was bedeutet, daß das alte Verzeichnis so lange einfach verdeckt wird, bis die darübergemountete Partiton wieder geumountet wird.
Das ist richtig. Aber man sieht so nicht ganz ohne weiteres, ob das mounten der neuen Partition auf /home geklappt hat, weil ja so und so das /home-Verzeichnis sichtbar ist. Daher halte ich das wegschieben des alten /home schon für sinnvoll. Sicher kann man dem begegnen, indem man genau hinschaut. Aber anders ists einfach auffälliger, wenn was schiefgeht. -- Andreas Feile www.feile.net