aboutsummaryrefslogtreecommitdiff
path: root/home-manager
diff options
context:
space:
mode:
authorRobert Helgesson <robert@rycee.net>2017-11-12 14:11:59 +0100
committerRobert Helgesson <robert@rycee.net>2017-11-12 14:11:59 +0100
commit04ea044917f076e8b18be61cfc68e869f0317102 (patch)
tree62ff1c7d29751db36742e36ae05c169e17ddfa7a /home-manager
parent66219f23bbb4293b4ad3377a0086c475f78b7630 (diff)
home-manager: look for '--help' on command line
This is a special case to work around the lack of long options in `getopts`.
Diffstat (limited to 'home-manager')
-rw-r--r--home-manager/home-manager9
1 files changed, 9 insertions, 0 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager
index 0b13a84c510..9d10e61e10e 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)