if i want to make a separate partition for /home than the root one, how big should i make it versus the root partition? like, presumably most of the space would be for where the users live, but how much should i leave for other os stuff? 20gb, 100gb, 500gb? i dont really have a head for the sizes of things in linux yet
@riley noted... thank you very much. this is a single-user home pc so i shouldn't run into many weird edge cases for usage
this is also my first ever proper linux install, so i dont have a previous setup to compare it to. i guess i can always resize these partitions from a live boot later, right? so i guess i could just be conservative for now and resize the partitions one way or another if i need to
@riley oops i have already done it. this was for the manjaro install that i already did last night
@typhlosion Okay, so it's a solved problem.
@riley at this point yeah ;w; you were really helpful though. i left 100gb of space for the root partition and put the rest to /home
@typhlosion 100GB is probably a bit of an overkill. I think I haven't gone over 8GB in any of my home machines.
But if you can afford the space, It won't hurt, and you'll have plenty of space for installing fancy software into it. You'll probably need more than I ever needed if you're going to use a lot of Docker images, for example, because these are heavily redundant. Installing large applications such as Vivado can also eat up the gigabytes.
@typhlosion Resizing partitions can be done, but it's a PITA, especially if you haven't done it before, and there's a risk of catastrophic data loss. I'd suggest either taking a guess and erring in side of making root a bit too large, or potentially just not splitting your root from your home this time. It's not like there's a pressing reason to; it's just an administrative tactic that sometimes mitigates certain risks.
What distribution do you plan to use?