Re: how to add a /home partition
-----BEGIN PGP SIGNED MESSAGE-----
On Sat, Nov 04, 2017 at 12:33:48AM +0100, Michael Lange wrote:
> On Fri, 3 Nov 2017 22:34:02 +0100
> <email@example.com> wrote:
> > - copy the contents of /home to its future location:
> > or cp -a /home/* /mnt
> to be nitpicking, shouldn't this rather be
> cp -a /home/. /mnt
> just to cover the (admittedly unlikely) case there is some hidden
> file or folder in /home ?
Yes. Definitely. Thanks for the correction!
> Killing is wrong.
- -- tomás
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
-----END PGP SIGNATURE-----