SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 13:40 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 15:57 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 16:36 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 16:41 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 17:07 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 17:16 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 17:17 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 19:02 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela (15 Sep 2020 19:31 UTC)
A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 19:42 UTC)
Re: A Lisp programmer walks into a room Arthur A. Gleckler (15 Sep 2020 20:53 UTC)
Re: A Lisp programmer walks into a room Marc Nieper-Wißkirchen (15 Sep 2020 20:58 UTC)
Re: A Lisp programmer walks into a room John Cowan (15 Sep 2020 21:12 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 21:40 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 21:53 UTC)
Re: A Lisp programmer walks into a room Arthur A. Gleckler (15 Sep 2020 22:15 UTC)
Re: A Lisp programmer walks into a room Lassi Kortela (15 Sep 2020 22:44 UTC)
Re: A Lisp programmer walks into a room hga@xxxxxx (15 Sep 2020 21:54 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 21:27 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Arthur A. Gleckler (15 Sep 2020 22:13 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 22:29 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? Arthur A. Gleckler (15 Sep 2020 22:33 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? hga@xxxxxx (15 Sep 2020 22:40 UTC)
Testing root-only features Lassi Kortela (16 Sep 2020 07:28 UTC)
Re: Testing root-only features Lassi Kortela (16 Sep 2020 07:31 UTC)
Re: Testing root-only features hga@xxxxxx (16 Sep 2020 11:04 UTC)
Re: SRFI 170 file-space -> filesystem-space ?? John Cowan (15 Sep 2020 20:01 UTC)

Re: SRFI 170 file-space -> filesystem-space ?? Lassi Kortela 15 Sep 2020 17:16 UTC

> I was writing some flaky tests to see if it's returning true results,
> but the more I think of my assumptions, the harder this gets.  For
> example, is there any filesystem almost guaranteed to be quiescent
> between two calls of it?  /tmp is both iffy and not guaranteed to be a
> separate file system, neither is /.   But maybe adding 32 MiB to
> whatever is /tmp and checking to see if there's less free space is safe
> enough.
>
> Advice is solicited; I have checked the results by hand with df, Linux
> is fine, but either I'm too out of it, or OpenBSD is lying.

Good questions.

Calling stat() on two pathnames and checking whether the device numbers
are equal (st_dev), you can check whether those pathnames are on the
same file system.

Other concerns:

- Do the results reflect the Unix quota system or not?

- Unix tends to reserve n% of each file system's space for the root user
only. The "Avail" column in `df` output reflects the space available for
use by normal plebs I think; if you compute Size-Used you may get more
than that, because root can use more than that. Does statvfs() give the
space free for root or for plebs?