We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6baeb68 commit 885dcc4Copy full SHA for 885dcc4
doc/changes/fixed/11612.md
@@ -0,0 +1,8 @@
1
+- Fixed non-build caches not following `$DUNE_CACHE_ROOT` and instead only
2
+ relying on `$XDG_CACHE_HOME`.
3
+ This means the normal build cache moves:
4
+ `$DUNE_CACHE_ROOT -> $DUNE_CACHE_ROOT/db` (no changes if that variable was
5
+ unset). Affected users can prevent a full cache invalidation by moving
6
+ previous contents:
7
+ `cd $DUNE_CACHE_ROOT; mkdir db; mv <contents of directory> db`.
8
+ (#11612, fixes #11584, @ElectreAAS)
0 commit comments