Agreed / filesystem is very small.
I usually make /usr its own filesystem too sometimes /var as well

It was suggested to use a ln -s command to  use space in /home to store the rpms, this is your best option 

On Thu, Oct 10, 2019 at 1:38 PM Samuel Sieb <> wrote:
On 10/10/19 10:33 AM, home user wrote:
> (Terry asked)
>  > Is home mounted on its own device/filesystem? Provide output of df -hP
> I don't think so.
> This a dual-boot workstation (Fedora and windows-7) with one hard drive
> and no other storage.
>  >Provide output of df -hP
> bash.12[~]: df -hP
> Filesystem      Size  Used Avail Use% Mounted on
> devtmpfs        7.8G     0  7.8G   0% /dev
> tmpfs           7.9G   62M  7.8G   1% /dev/shm
> tmpfs           7.9G  1.7M  7.9G   1% /run
> tmpfs           7.9G     0  7.9G   0% /sys/fs/cgroup
> /dev/sda6        50G   44G  3.6G  93% /

Your / is pretty full.

> tmpfs           7.9G  812K  7.9G   1% /tmp
> /dev/sda3       477M  234M  215M  53% /boot
> /dev/sda7       904G  7.5G  851G   1% /home

This is your /home partition with *lots* of available space.

> tmpfs           1.6G   28K  1.6G   1% /run/user/0
> bash.13[~]:
> What's the command that shows the whole hard drive allocation: Fedora,
> windows, and unallocated?

There isn't really one.  You could use fdisk, gparted, or the Gnome
Disks application, but you still have to know what the partitions represent.
users mailing list --
To unsubscribe send an email to
Fedora Code of Conduct:
List Guidelines:
List Archives: