From 7d96881886d375f9994d576751b063029fedf38e Mon Sep 17 00:00:00 2001 From: Alexander Foremny Date: Mon, 16 Oct 2023 23:34:06 +0200 Subject: comment add-command-for-regenerating-the-cache --- app/Main.hs | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/app/Main.hs b/app/Main.hs index 516aeab..c3a50fc 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -362,6 +362,7 @@ -- -- @topic options -- @topic cache +-- @scheduled 2023-10-30 -- -- COMMENT What is the point of this command? Can't caches be handled -- transparently to the user? @@ -374,6 +375,16 @@ -- environment setup scripts. And then the first-commit option would -- make it possible to use very old repostories without a too long -- initial delay. +-- +-- COMMENT The caching works *transparently* for the user if the user is not +-- aware of the cache at all. If there are cache commands (or options), then it +-- is not transparent. +-- +-- I get that we want to limit provenance generation somewhat, and that will +-- have to be solved in an intransparent manner.. but I am not fully +-- understanding the proposal. +-- +-- Maybe you could walk me through it in our next session? -- TODO Add global option for specifying first considered commit -- -- cgit v1.2.3