From 375efcefbdb9831b46e027f1a4816b7b2ec4070d Mon Sep 17 00:00:00 2001 From: nenikitov Date: Mon, 29 Sep 2025 12:16:59 -0400 Subject: [PATCH] feat: readd previous old generation skip --- src/libstore/profiles.cc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/libstore/profiles.cc b/src/libstore/profiles.cc index 311665d46..919398e0d 100644 --- a/src/libstore/profiles.cc +++ b/src/libstore/profiles.cc @@ -200,6 +200,12 @@ void deleteGenerationsFilter( if (olderThan.has_value()) { older = current; iterDropUntil(gens, older, [&](auto & g) { return g.creationTime < *olderThan; }); + /* Take the previous generation + + We don't want delete this one yet because it + existed at the requested point in time, and + we want to be able to roll back to it. */ + iterDrop(gens, older); } // Find first generation to delete by clamping between keepMin and keepMax