Gentoo Archives: gentoo-user

From: waltdnes@××××××××.org
To: Gentoo Users List <gentoo-user@l.g.o>
Subject: [gentoo-user] Weird "df" output
Date: Wed, 25 Nov 2015 22:10:55
Message-Id: 20151125221033.GA2088@waltdnes.org
1 I'll admit that my system setup is a bit unusual. A long time ago, in
2 a place far away, hard drives were small, compared to today's standards.
3 The usual unix practice of multiple seprate partitions was not feasable
4 for me, but I did want to keep root on its own partition. So I
5 compromised with a small / partition, with empty /home, /opt, /var,
6 /usr, and /tmp directories. Their real equivalents are bind-mounted
7 from a much larger partition. I just re-did my oldest machine. It has
8 a primary partition 1, which covers the entire hard drive. The /
9 partion on /dev/sda5 is approximately 500 megabytes (YES!). There's a
10 3.8 gigabyte swap partion /dev/sda6, and the rest of the drive is
11 /dev/sda7. Here's the relevant portion of /etc/fstab...
12
13 /dev/sda5 / ext2 noatime,async 0 1
14 /dev/sda7 /home ext3 noatime,async 0 1
15 /home/bindmounts/opt /opt auto bind 0 0
16 /home/bindmounts/var /var auto bind 0 0
17 /home/bindmounts/usr /usr auto bind 0 0
18 /home/bindmounts/tmp /tmp auto bind 0 0
19 /dev/sda6 none swap sw 0 0
20
21 ...and the output from "df"...
22
23 Filesystem 1K-blocks Used Available Use% Mounted on
24 /dev/root 495944 49416 420928 11% /
25 devtmpfs 10240 0 10240 0% /dev
26 tmpfs 310080 356 309724 1% /run
27 shm 1550384 0 1550384 0% /dev/shm
28 cgroup_root 10240 0 10240 0% /sys/fs/cgroup
29 /dev/sda7 476205120 292365556 159643008 65% /opt
30
31 ...showing /dev/sda7 mounted on /opt !?!? mc (Midnight Commander) shows
32 152 of 454 gigabytes free on all of /home, /opt, /var, /usr, and /tmp,
33 which is correct, since they're all really bindmounts from /dev/sda7.
34 The / partition (/dev/sda5) has 411 of 484 megabytes free. The machine
35 works OK, but the "df" output is a head-scratcher. I've re-booted a
36 couple of times, with no change.
37
38 --
39 Walter Dnes <waltdnes@××××××××.org>
40 I don't run "desktop environments"; I run useful applications

Replies

Subject Author
Re: [gentoo-user] Weird "df" output "Jc García" <jyo.garcia@×××××.com>
[gentoo-user] Re: Weird "df" output Jonathan Callen <jcallen@g.o>
Re: [gentoo-user] Weird "df" output lee <lee@××××××××.de>
Re: [gentoo-user] Weird "df" output Tom H <tomh0665@×××××.com>