From 310d3d5727c7139fb87dd6c8cdf697dd357a9e96 Mon Sep 17 00:00:00 2001
From: khaneliman <khaneliman@users.noreply.github.com>
Date: Thu, 24 Jul 2025 20:02:10 +0000
Subject: [PATCH] deploy: a35f6b60430ff0c7803bd2a727df84c87569c167

---
 options.xhtml | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/options.xhtml b/options.xhtml
index 241be8e2f..c60cce73d 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -71030,6 +71030,37 @@ null or package</p>
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">pkgs.trippy</code></p>
 
+<p><span class="emphasis"><em>Declared by:</em></span></p>
+<table border="0" summary="Simple list" class="simplelist">
+<tr><td>
+<code class="filename"><a class="filename"  href="https://github.com/nix-community/home-manager/blob/master/modules/programs/trippy.nix" target="_top">
+&lt;home-manager/modules/programs/trippy.nix&gt;
+</a></code>
+</td></tr>
+</table>
+</dd>
+<dt>
+ <span class="term">
+ <a id="opt-programs.trippy.forceUserConfig"></a><a class="term" href="options.xhtml#opt-programs.trippy.forceUserConfig"><code class="option">programs.trippy.forceUserConfig</code>
+  </a>
+ </span>
+</dt>
+<dd>
+<p>Whatever to force trippy to use user’s config through the -c flag.
+This will prevent certain commands such as ‘sudo’ ignoring
+the configured settings. This will only work if you have
+‘programs.&lt;shell&gt;.enable’ (bash, zsh, fish, …), depending
+on your shell.</p>
+
+<p><span class="emphasis"><em>Type:</em></span>
+boolean</p>
+
+<p><span class="emphasis"><em>Default:</em></span>
+<code class="literal">true</code></p>
+
+<p><span class="emphasis"><em>Example:</em></span>
+<code class="literal">false</code></p>
+
 <p><span class="emphasis"><em>Declared by:</em></span></p>
 <table border="0" summary="Simple list" class="simplelist">
 <tr><td>