diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-10-03T20·37-0400 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-10-03T20·40-0400 |
commit | a562d544d8520a0f113ad1a348e28ea00f27b693 (patch) | |
tree | 5e8d7200b8521aa54e2c8846ef7c31fd5dac737e /scripts/nix-pull.in | |
parent | 9c41c66c5b877dbb529f6147b28384a57a591895 (diff) |
When ‘--help’ is given, just run ‘man’ to show the manual page
I.e. do what git does. I'm too lazy to keep the builtin help text up to date :-) Also add ‘--help’ to various commands that lacked it (e.g. nix-collect-garbage).
Diffstat (limited to 'scripts/nix-pull.in')
-rwxr-xr-x | scripts/nix-pull.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index fbd90c2b257d..58dd2cf27eee 100755 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -89,7 +89,9 @@ sub processURL { while (@ARGV) { my $url = shift @ARGV; - if ($url eq "--skip-wrong-store") { + if ($url eq "--help") { + exec "man nix-pull" or die; + } elsif ($url eq "--skip-wrong-store") { # No-op, no longer supported. } else { processURL $url; |