diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-16 13:19:15 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-16 13:19:15 +0000 |
| commit | 651ab439cf5b0c6ab2044257a30b0d94406d57d3 (patch) | |
| tree | fafb731298c3bdf6f7b81a804864ab9e31e37d67 /aterm-gc.supp | |
| parent | d6f586d0eaa9344a99248cc4dfb7825972f2a174 (diff) | |
* A simple hack to fix NIX-18: the garbage collector cannot run when
the disk is full (because to delete something from the Nix store, we
need a Berkeley DB transaction, which takes up disk space). Under
normal operation, we make sure that there exists a file
/nix/var/nix/db/reserved of 1 MB. When running the garbage
collector, we delete that file before we open the Berkeley DB
environment.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions