`No space left on device` error should print disk total size

[peterbecich]

Is your feature request related to a problem?

nix build can fail with disk exhaustion, i.e.:

 > dist/haddock-his-113018/.copyFile113018-510.tmp:
   copyFile: resource exhausted (No space left on device)

This can occur in CI environments such as a GitHub Action.

In opaque environments such as a GitHub Action, it would help to print more information about the disk.

Proposed solution

When this error occurs

resource exhausted (No space left on device)

print information about the disk. In particular, the total size of the disk.

Alternative solutions

Additional context

Checklist

• checked latest Nix manual (source)
• checked open feature issues and pull requests for possible duplicates

---

Add 👍 to issues you find important.