bug#37702: Suggestion for 'df' utility

[Kamil Dudka]

On Monday, October 14, 2019 8:06:47 AM CEST Paul Eggert wrote:
> On 10/13/19 3:00 PM, Assaf Gordon wrote:
> > I'm not sure if it's easy to find a set of criteria
> > that would work well while having minimal unexpected side effects of
> > hiding
> > entries people in other systems do expect to see.
> 
> No matter what we do (even if we do nothing), there will be problems.

This is not an excuse to introduce new problems.

> But doing
> nothing is clearly a bad idea, as the output of plain df is quite bad
> right now in typical use. We can do better than that, even if we cannot be
> perfect and we cause problems by changing defaults.

I would prefer _not_ to change the default behavior (including the behavior
of commonly used options).  There are downstream consumers who care about 
compatibility in the first place.

Kamil

> > Out of curiosity,
> > can you share the output of the following commands on the same system?
> 
> Sure, here it is:
> 
> $ lsblk
> NAME          MAJ:MIN RM   SIZE RO TYPE  MOUNTPOINT
> loop0           7:0    0 140.7M  1 loop  /snap/gnome-3-26-1604/90
> loop1           7:1    0  44.2M  1 loop  /snap/gtk-common-themes/1353
> loop2           7:2    0 149.9M  1 loop  /snap/gnome-3-28-1804/71
> loop3           7:3    0   3.7M  1 loop  /snap/gnome-system-monitor/100
> loop4           7:4    0  14.8M  1 loop  /snap/gnome-characters/317
> loop5           7:5    0   956K  1 loop  /snap/gnome-logs/73
> loop6           7:6    0 149.9M  1 loop  /snap/gnome-3-28-1804/67
> loop7           7:7    0   3.7M  1 loop  /snap/gnome-system-monitor/95
> loop8           7:8    0     4M  1 loop  /snap/gnome-calculator/406
> loop9           7:9    0  54.5M  1 loop  /snap/core18/1192
> loop10          7:10   0    89M  1 loop  /snap/core/7713
> loop11          7:11   0  42.8M  1 loop  /snap/gtk-common-themes/1313
> loop12          7:12   0  14.8M  1 loop  /snap/gnome-characters/296
> loop13          7:13   0 140.7M  1 loop  /snap/gnome-3-26-1604/92
> loop14          7:14   0  89.1M  1 loop  /snap/core/7917
> loop15          7:15   0   956K  1 loop  /snap/gnome-logs/81
> loop16          7:16   0   4.2M  1 loop  /snap/gnome-calculator/501
> loop17          7:17   0  54.4M  1 loop  /snap/core18/1144
> sda             8:0    0 111.8G  0 disk
> ├─sda1          8:1    0  96.9G  0 part  /
> ├─sda2          8:2    0     1K  0 part
> └─sda5          8:5    0    15G  0 part  [SWAP]
> sdb             8:16   0   2.7T  0 disk
> └─sdb1          8:17   0   2.7T  0 part
>    └─md127       9:127  0   2.7T  0 raid1
>      └─md127p1 259:0    0   2.7T  0 md    /home
> sdc             8:32   0   2.7T  0 disk
> └─sdc1          8:33   0   2.7T  0 part
>    └─md127       9:127  0   2.7T  0 raid1
>      └─md127p1 259:0    0   2.7T  0 md    /home
> sdd             8:48   1   7.5G  0 disk
> └─sdd1          8:49   1   7.5G  0 part  /media/eggert/B827-D456
> sr0            11:0    1  1024M  0 rom
> $ df -x tmpfs -x devtmpfs -x squashfs
> Filesystem      1K-blocks       Used  Available Use% Mounted on
> /dev/sda1        99431552   11740452   82597212  13% /
> /dev/md127p1   2884021472 1326329584 1411168908  49% /home
> /dev/sdd1         7812864    4705136    3107728  61% /media/eggert/B827-D456