query: Install 18.04 - /home size?
positive_passages.docid: 18101
positive_passages.text: How to efficiently partition a single Windows-Ubuntu dual boot disk?
negative_passages.docid: 129817
negative_passages.text: How big should the swap partition be?
negative_passages.docid: 75891
negative_passages.text: Can I make the system reserve for partitions smaller?
negative_passages.docid: 3759
negative_passages.text: How large should I make root, home, and swap partitions?
negative_passages.docid: 16050
negative_passages.text: Can I upgrade Xubuntu 18.04 32-bit?
negative_passages.docid: 85617
negative_passages.text: How do I increase the font size in Ubuntu 18.04 LTS for a HDPI / 4K display?
negative_passages.docid: 80192
negative_passages.text: How to reduce VM size?
negative_passages.docid: 90705
negative_passages.text: Minimal system or minimal virtual machine on install?
negative_passages.docid: 5687
negative_passages.text: Ubuntu partition sizes
negative_passages.docid: 33540
negative_passages.text: How can I switch a 32-bit installation to a 64-bit one?
negative_passages.docid: 158006
negative_passages.text: What's the total size of all games I have on Steam?
negative_passages.docid: 125782
negative_passages.text: How do I give Ubuntu more space (when installed inside Windows 7 (via wubi))?
negative_passages.docid: 18912
negative_passages.text: How come Ubuntu 18.04 LTS has a 32bit iso installer?
negative_passages.docid: 60958
negative_passages.text: Is this WUBI? What is "Installation size" setting for?
negative_passages.docid: 141848
negative_passages.text: How do I put /home in a different partition?
negative_passages.docid: 3324
negative_passages.text: find out the size of open terminal
negative_passages.docid: 29191
negative_passages.text: Upgrade to 18.04 from 17.10