diff options
author | Timo Kaufmann <timokau@zoho.com> | 2020-03-18 00:02:38 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2020-03-25 21:16:43 +0100 |
commit | 5969551a5cc52f9470b5ff5ca01327bf4bda82c1 (patch) | |
tree | 3491c64a35d8532c855a6b633ae5c6d960128093 /doc/man-home-manager.xml | |
parent | 7fa890462d2105566cc36599833cb3cb153df0ed (diff) |
home-manager: add instantiate subcommand
It can be useful to simply instantiate a Home Manager configuration
without actually building it, for example for the purpose of
pre-building it with some custom command.
PR #1099
Diffstat (limited to '')
-rw-r--r-- | doc/man-home-manager.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml index 117bc494687..90f58063ea9 100644 --- a/doc/man-home-manager.xml +++ b/doc/man-home-manager.xml @@ -18,6 +18,10 @@ </arg> <arg choice="plain"> + instantiate + </arg> + + <arg choice="plain"> edit </arg> @@ -165,6 +169,16 @@ </varlistentry> <varlistentry> <term> + <option>instantiate</option> + </term> + <listitem> + <para> + Instantiate the configuration and print the resulting derivation. + </para> + </listitem> + </varlistentry> + <varlistentry> + <term> <option>edit</option> </term> <listitem> |