https://dwaves.org/2017/01/25/linux-debian-move-home-directory-how-to-move-your-home-directory-to-a-separate-partition/