diff options
| author |   Oleg Pudeyev <oleg@bsdpower.com> | 2011-02-15 05:11:21 -0500 |
|---|---|---|
| committer | Oleg Pudeyev <oleg@bsdpower.com> | 2011-02-15 05:20:30 -0500 |
| commit | bf137b70051d00f6b0e6636ae08e5579c6f3739e (patch) | |
| tree | 121535296129fbd5c2b19145963df39782df3c57 /git-tools | |
| parent | [ticket/10044] Error handling for remote requests in setup_github_network.php (diff) | |
| download | phpbb-bf137b70051d00f6b0e6636ae08e5579c6f3739e.tar.gz phpbb-bf137b70051d00f6b0e6636ae08e5579c6f3739e.tar.bz2 phpbb-bf137b70051d00f6b0e6636ae08e5579c6f3739e.zip | |
[ticket/10044] Added -h to setup_github_network.php.
PHPBB3-10044
Diffstat (limited to 'git-tools')
| -rwxr-xr-x | git-tools/setup_github_network.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-tools/setup_github_network.php b/git-tools/setup_github_network.php index ae3d34f5fe..9ada9e437a 100755 --- a/git-tools/setup_github_network.php +++ b/git-tools/setup_github_network.php @@ -31,14 +31,15 @@ function show_usage() echo " -r repository_name Overwrites the repository name (optional)\n"; echo " -m your_github_username Sets up ssh:// instead of git:// for pushable repositories (optional)\n"; echo " -d Outputs the commands instead of running them (optional)\n"; + echo " -h This help text\n"; exit(1); } // Handle arguments -$opts = getopt('s:u:r:m:d'); +$opts = getopt('s:u:r:m:dh'); -if (empty($opts)) +if (empty($opts) || isset($opts['h'])) { show_usage(); } |