GNU bug report logs - #52805
[PATCH] substitute: Add a ‘--clear-cache’ option.

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: Mathieu Othacehe <othacehe <at> gnu.org>, 52805 <at> debbugs.gnu.org
Subject: [bug#52805] [PATCH] substitute: Add a ‘--clear-cache’ option.
Date: Wed, 05 Jan 2022 21:59:44 +0100

Hello,

Tobias Geerinckx-Rice <me <at> tobias.gr> skribis:

> Mathieu Othacehe 写道：

[...]

>> Moreover this script is an internal undocumented tool,
>> so I'm not in favor of adding user commands to it.

+1

> The point was to have a little command I could ask other users to run,
> that's guaranteed to clear the correct directory, and doesn't involve
> a spooky rm (which saves some back-and-forth :-).

In which case do users have to ‘rm -rf ~/.cache/guix/substitute’?

That directory is only used by ‘guix weather’.  In that case,
‘--clear-cache’ could be added to ‘guix weather’ maybe?

Now, ideally there would not be any cache-related option because the
cache would always be valid.  If it’s not, it would be nice to see how
that can be improved or mitigated.

Thoughts?

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.