Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I recently got a new W8 computer and followed this tutorial to get Ubuntu installed in dual boot. This is what my file system looks like:

Device        Directory      Total
/dev/sda6     /               45GBiB
/dev/sda2     /boot/efi       356MiB
/dev/sda7     /HOME           874.3GiB

Now, I was going about my data science stuff and downloaded a 12GB file, and un-zipped it. I start getting errors saying that I do not have enough memory. I know I have ~1TB allocated to Linux. All I can tell is that I was working in /Home/myusername assuming that that's where most of my space was allocated, but it seems as though ~800GB are in /HOME. Since I'm new to Linux I'm a little confused. Any ideas on how to go about this? Should I just start using /HOME or is there a proper way to reallocate space?

share|improve this question
1  
- /home should be in lowercase, not in capitals. - do a df -h and check the free space. –  Rinzwind Mar 31 at 17:49

1 Answer 1

up vote 1 down vote accepted

The default Linux file system is case sensitive. You have defined a mountpoint at /HOME when instead, you should have used /home. Therefore, the /HOME is simply not used, it is not your actual home directory, that is in /home/username which is completely separate from /HOME.

To fix this and use the 874G partition you have created as your actual home directory (in the Linux world, your home dir is referred to as $HOME (note the $) or ~/), you will need to follow these steps:

  1. Create your home directory on /HOME:

    sudo mkdir "/HOME/$USER"
    sudo chown username "/HOME/$USER"
    
  2. Copy everything from your current $HOME to this new directory.

    mv ~/* ~/.* "/HOME/$USER"
    
  3. Tell the system to mount the partition of /HOME in the right place, /home. For this, you will need to edit /etc/fstab:

    sudo gedit /etc/fstab
    

    That will bring up an editor window, you need to find the line that mounts /HOME, it will look something like this:

    UUID=123-ABC    /HOME   ext4    rw,errors=remount-ro    0   0
    

    Change /HOME to /home, leave everything else as it is.

  4. Remove your home dir and reboot

    sudo rmdir "/home/$USER"
    sudo reboot
    
share|improve this answer
    
please user $USER instead of username ;-) the system will tranform it to the current user and commands then actually work. –  Rinzwind Mar 31 at 17:59
    
@Rinzwind good point, done, thanks. –  terdon Mar 31 at 18:01
    
And that copy command will not work either, use find or rsync –  bodhi.zazen Mar 31 at 18:07
2  
I am a bit old-schooled, but I prefer (as root) tar cf - . | (cd /dest/dir; tar xvpf -) for massive copies. It will maintain (possible) different-owned files, mod times, and do the correct thing even for special files. Probably overkill in this case, but... –  Rmano Mar 31 at 19:18
1  
@Rmano yes, that is better (+1) but given that this is a new install and an inexperienced user, I tried to keep things simple. –  terdon Mar 31 at 19:21

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.