From 7c2532d9f98ac61267fecc35e2d8dba0bac1e74c Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sun, 1 Dec 2019 10:43:39 +0100
Subject: [PATCH] home-manager: add --(no-)substitute options

Fixes #312
---
 doc/man-home-manager.xml  | 16 ++++++++++++++++
 home-manager/home-manager |  4 +++-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml
index a0f55d110..117bc4946 100644
--- a/doc/man-home-manager.xml
+++ b/doc/man-home-manager.xml
@@ -126,6 +126,10 @@
     --show-trace
    </arg>
     
+   <arg>
+    --(no-)substitute
+   </arg>
+    
    <arg>
     <group choice="req"> 
     <arg choice="plain">
@@ -446,6 +450,18 @@
      </para>
     </listitem>
    </varlistentry>
+   <varlistentry>
+    <term>
+     <option>--(no-)substitute</option>
+    </term>
+    <listitem>
+     <para>
+      Passed on to <citerefentry>
+      <refentrytitle>nix-build</refentrytitle>
+      <manvolnum>1</manvolnum> </citerefentry>.
+     </para>
+    </listitem>
+   </varlistentry>
    <varlistentry>
     <term>
      <option>-v</option>
diff --git a/home-manager/home-manager b/home-manager/home-manager
index 6fe4f13c7..6d0f52fb3 100644
--- a/home-manager/home-manager
+++ b/home-manager/home-manager
@@ -431,6 +431,7 @@ function doHelp() {
     echo "  --max-jobs NUM"
     echo "  --option NAME VALUE"
     echo "  --show-trace"
+    echo "  --(no-)substitute"
     echo
     echo "Commands"
     echo
@@ -507,7 +508,8 @@ while [[ $# -gt 0 ]]; do
             PASSTHROUGH_OPTS+=("$opt" "$1")
             shift
             ;;
-        --keep-failed|--keep-going|--show-trace)
+        --keep-failed|--keep-going|--show-trace\
+            |--substitute|--no-substitute)
             PASSTHROUGH_OPTS+=("$opt")
             ;;
         -v|--verbose)