diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-07-15 12:45:32 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-15 17:36:57 +0200 |
commit | 30915a7419d48c6a5dcfdc3a1547268ac406a9ef (patch) | |
tree | 5e4a2a81a500a708995a9bbfa6af1de34953c0f7 /doc | |
parent | 4eb33b370624a39d91aca550c38615821da3f377 (diff) | |
download | guix-30915a7419d48c6a5dcfdc3a1547268ac406a9ef.tar.gz |
shell: Ignore cached profiles when using '--export-manifest'.
Fixes <https://issues.guix.gnu.org/56539>. Fixes a bug where "guix shell -D pkg --export-manifest" would provide the expansion of PKG's dependencies instead of a call to 'package-development-manifest' if that profile happened to be cached. * guix/scripts/shell.scm (profile-cached-gc-root): Add clause for 'export-manifest?.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions