diff options
author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2015-04-06 09:00:05 +0200 |
---|---|---|
committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2015-04-06 09:00:05 +0200 |
commit | 9ddb3321d719f634ce375b5cf5cd3612ceebc720 (patch) | |
tree | 2a9f3bcb881e0f6fe925dc9745cd25a80d509763 | |
parent | 79fcaea4579b86f2501ce1c069d1c74ad549a2f8 (diff) | |
parent | 6f2c284f3752f6cb2eedea228a4fd4855087473b (diff) |
Merge pull request #144 from jpleau/help_parameter
alias --help to -h/-help
-rw-r--r-- | source/rofi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/rofi.c b/source/rofi.c index 4c945042..bd30efcc 100644 --- a/source/rofi.c +++ b/source/rofi.c @@ -1688,7 +1688,7 @@ int main ( int argc, char *argv[] ) quiet = TRUE; } // catch help request - if ( find_arg ( "-h" ) >= 0 || find_arg ( "-help" ) >= 0 ) { + if ( find_arg ( "-h" ) >= 0 || find_arg ( "-help" ) >= 0 || find_arg( "--help" ) >= 0 ) { help (); exit ( EXIT_SUCCESS ); } |