I was mistaken in my earlier comment. It’s my desktop machine that has 50 gb for everything but home, and it’s running very short on space. The server, which is what I thought I was thinking of, has 25 gb for / (not including /var, /tmp, or/home) and I’m using just over half of that space.