July 31, 2023

Display the amount of disk space available

To display the amount of disk space available on the file system open the shell (the terminal) and type:

$ df -h

-h, short for –human-readable, print sizes of the file systems in values perceivable for the human mind:

Filesystem      Size  Used Avail Use% Mounted on
udev            3.8G     0  3.8G   0% /dev
tmpfs           784M  1.7M  783M   1% /run
/dev/sda3        19G   11G  6.4G  64% /
tmpfs           3.9G     0  3.9G   0% /dev/shm
tmpfs           5.0M  4.0K  5.0M   1% /run/lock
tmpfs           3.9G     0  3.9G   0% /sys/fs/cgroup
/dev/sda2       512M  288K  512M   1% /boot/efi
/dev/sda4       447G  385G   62G  87% /home
tmpfs           784M   24K  784M   1% /run/user/1000

Without the option -h, df displays this:

Filesystem      1K-blocks       Used  Available Use% Mounted on
udev              3983164          0    3983164   0% /dev
tmpfs              802760       1704     801056   1% /run
/dev/sda3        19046484   11442832    6610784  64% /
tmpfs             4013796          0    4013796   0% /dev/shm
tmpfs                5120          4       5116   1% /run/lock
tmpfs             4013796          0    4013796   0% /sys/fs/cgroup
/dev/sda2          524272        288     523984   1% /boot/efi
/dev/sda4       468098752  403669220   64429532  87% /home
tmpfs              802756         24     802732   1% /run/user/1000

Next, if you need to make space, you can find out what takes up disk space with the utility du.


I do self-funded research and I'm writing a book.

> What's the book about?

About technologies and agency.

Meaning, technologies can foster agency. No doubt. But I am also asking:

Can usage of technologies give us a sense of empowerment while in fact undermining our abilities?

I posted a summary of the prologue on the homepage: https://yctct.com/


command-line interface (cli) personal computing gnu linux trisquel office applications wiki shell literacy

No affiliate links, no analytics, no tracking, no cookies. This work © 2016-2024 by yctct.com is licensed under CC BY-ND 4.0 .   about me   contact me   all entries & tags   FAQ   GPG public key

GPG fingerprint: 2E0F FB60 7FEF 11D0 FB45 4DDC E979 E52A 7036 7A88