eeva/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-10 21:29:48 +01:00
Code Issues Releases Wiki Activity

deploy: f58889c07e

Browse source
This commit is contained in:
rycee 2023-07-29 17:44:17 +00:00
parent 29fa47ee98
commit c1a0f5a040
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
options.html
View file

@ -4775,7 +4775,9 @@ boolean</p><p><span class="emphasis"><em>Default:</em></span>
<code class="literal">false</code></p><p><span class="emphasis"><em>Example:</em></span>
<code class="literal">true</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/gnome-terminal.nix" target="_top">
&lt;home-manager/modules/programs/gnome-terminal.nix&gt;
</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.gnome-terminal.profile"></a><a class="term" href="options.html#opt-programs.gnome-terminal.profile"><code class="option">programs.gnome-terminal.profile</code></a></span></dt><dd><p>A set of Gnome Terminal profiles.</p><p><span class="emphasis"><em>Type:</em></span>
</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.gnome-terminal.profile"></a><a class="term" href="options.html#opt-programs.gnome-terminal.profile"><code class="option">programs.gnome-terminal.profile</code></a></span></dt><dd><p>A set of Gnome Terminal profiles. Note, the name of a profile must be
a UUID. You can generate one, for example, using <span class="command"><strong>uuidgen</strong></span>
(from <code class="literal">util-linux</code>).</p><p><span class="emphasis"><em>Type:</em></span>
attribute set of (submodule)</p><p><span class="emphasis"><em>Default:</em></span>
<code class="literal">{ }</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/gnome-terminal.nix" target="_top">
&lt;home-manager/modules/programs/gnome-terminal.nix&gt;