diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-11-07 22:32:18 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-11-07 23:10:41 +0100 |
| commit | 859122e5abeddfdfbe419713e19ed573ed2d5d78 (patch) | |
| tree | 0007ea9f56a4cc922a11b0422194e3b924ec6779 /gnu | |
| parent | b999c80c2e71bd4b3f26a18a321b7e7e7b580103 (diff) | |
| download | guix-859122e5abeddfdfbe419713e19ed573ed2d5d78.tar.gz guix-859122e5abeddfdfbe419713e19ed573ed2d5d78.zip | |
shell: Actually clean up the profile cache.
Previously, most actions would leave the cache as-is because
'guix-environment*' would indirectly call 'exit', and thus its
continuation was never reached.
* guix/scripts/shell.scm (guix-shell): Move call to
'maybe-remove-expired-cache-entries' to EXIT-HOOK.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions