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)
|
> 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?