From 04ea044917f076e8b18be61cfc68e869f0317102 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sun, 12 Nov 2017 14:11:59 +0100
Subject: [PATCH] home-manager: look for '--help' on command line

This is a special case to work around the lack of long options in
`getopts`.
---
 home-manager/home-manager | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/home-manager/home-manager b/home-manager/home-manager
index 0b13a84c..9d10e61e 100644
--- a/home-manager/home-manager
+++ b/home-manager/home-manager
@@ -296,6 +296,15 @@ function doHelp() {
 EXTRA_NIX_PATH=()
 HOME_MANAGER_CONFIG_ATTRIBUTE=""
 
+# As a special case, if the user has given --help anywhere on the
+# command line then print help and exit.
+for arg in "$@"; do
+    if [[ $arg == "--help" ]]; then
+        doHelp
+        exit 0
+    fi
+done
+
 while getopts f:I:A:vnh opt; do
     case $opt in
         f)