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

Follow

@typhlosion I currently have a 100 Gb root and it's just 35% full. I mostly keep it that big becasue of /var (mostly Docker volumes).

Although I must say that I have quite a lot installed in my /home partition (via Linuxbrew, asdf and just programs I build from source or download as Appsmith apps).

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!