From a9587b39ea6776b1d1324288786176102f65cee5 Mon Sep 17 00:00:00 2001
From: Julian Andres Klode <julian.klode@canonical.com>
Date: Mon, 10 Feb 2025 19:56:16 +0100
Subject: solver3: Implement a timeout, default 10s

A SAT solver can run more or less forever, but that's not a good
user experience.
---
 doc/examples/configure-index | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/examples/configure-index b/doc/examples/configure-index
index 1573eaa8b..8476d733a 100644
--- a/doc/examples/configure-index
+++ b/doc/examples/configure-index
@@ -703,6 +703,7 @@ apt::solver::upgrade "<BOOL>";
 apt::solver::remove "<BOOL>";
 apt::solver::removemanual "<BOOL>";
 apt::solver::install "<BOOL>";
+apt::solver::timeout "<INT>";
 apt::keep-downloaded-packages "<BOOL>";
 apt::solver "<STRING>";
 apt::planner "<STRING>";
-- 
cgit v1.2.3-70-g09d2