Re: Monitoring disk space from within the server

[Christoph Berg]

Re: To Tomas Vondra 2019-11-08 <20191108150621.gl8...@msg.df7cb.de>
> I think this should be directly in core because it's useful to a wide
> range of users.

Also, I want to have it in \db+ in psql where users would actually be
looking for it.

Christoph