LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - Newbie (https://www.linuxquestions.org/questions/linux-newbie-8/)
-   -   Space in / partition running out (https://www.linuxquestions.org/questions/linux-newbie-8/space-in-partition-running-out-894087/)

geeeoner 07-27-2011 09:26 AM

Space in / partition running out
 
Hi,

I recently installed Linux Mint alongside Win 7 and following the instructions , I created seperate / and /home partitions. The more applications i install (I have installed a couple of big games) the less space i have in / . Is there any way I can install these in /home instead ? Or do i need to boot up with Gparted and increase my /partition . I only gave the / partition 10 gigs because i was advised that this was all i'd ever need ...

nerak99 07-27-2011 09:54 AM

/boot can be pretty small but not /.
You were definitely badly advised.

Easiest thing is to alter partition size now.

10G for /home might be OK depending on what you were going to put in your home directory. More like 50G+ for a general purpose linux which you were going to use a lot.

BTW if you make /boot too small you might have difficulty with version upgrades of your distro.

dafydd2277 07-27-2011 10:12 AM

Hi, Geeeoner,

I don't know if you installed this Linux just for those games, or if you're interested in Linux in general. If you're curious about Linux as an OS, have a look at the Filesystem Hierarchy Standard for why installing to /home might eventually turn around to bite you. Or, for a great insomnia cure. Either way...

Again, not knowing why you set up this Linux share, I can't really offer specific suggestion on how to partition it out for what you want to do. However, if your needs are simple, I suspect splitting off /home was bad advice. If your needs are simple, I'd just make One Big Happy Filesystem, and not worry about splitting off chunks of it for no specific need.

Having said that, where did these two games install themselves? If they adhered to the FHS, you'll either see their binaries and libraries in /usr/local or in /opt. If you really must split off a second partition, I'd suggest /usr or /opt, to give those binaries and libraries dedicated space. I don't see any compelling need to split out /home if it's only going to be holding individual configurations for your games.

In fact, I'd only split out /home if you were planning on using this as a primary workstation for creating something. Then, /home would be the default location for the files you create, and it would be easy to back up without having to do your whole share.

Having said all that, other SysAdmins are going to have other opinions. :)

Good Luck!
dafydd

geeeoner 07-27-2011 10:52 AM

Thanks for the feedback guys , i installed linux as i was curious about it (thats why i went with mint, although getting the temptation to distro hop already and i am still very new to it all) and with a view to using it as my main o/s eventually . i created a seperate /home partition as its supposed to make upgrading easier . I didnt install for the games btw lol i found nexuis by accident and got addicted .... I'll make / bigger until i decide to use linux exclusively then it can be reinstalled into the one big drive ...

sandwormusmc 07-27-2011 11:19 AM

Quote:

Originally Posted by geeeoner (Post 4426779)
Thanks for the feedback guys , i installed linux as i was curious about it (thats why i went with mint, although getting the temptation to distro hop already and i am still very new to it all) and with a view to using it as my main o/s eventually . i created a seperate /home partition as its supposed to make upgrading easier . I didnt install for the games btw lol i found nexuis by accident and got addicted .... I'll make / bigger until i decide to use linux exclusively then it can be reinstalled into the one big drive ...

If you're curious and want to distro hop without making the full leap, I recommend VirtualBox to create virtual machines in the mean time.


All times are GMT -5. The time now is 12:17 AM.