aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOleg Pudeyev <oleg@bsdpower.com>2011-02-15 05:11:21 -0500
committerOleg Pudeyev <oleg@bsdpower.com>2011-02-15 05:20:30 -0500
commitbf137b70051d00f6b0e6636ae08e5579c6f3739e (patch)
tree121535296129fbd5c2b19145963df39782df3c57 /git-tools/setup_github_network.php
parent[ticket/10044] Error handling for remote requests in setup_github_network.php (diff)
downloadphpbb-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/setup_github_network.php')
-rwxr-xr-xgit-tools/setup_github_network.php5
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();
}