Init: Accept -b as an alias of --batch

Change-Id: Id22c6c8a7fc407cb8da7e3f64299648714a5d78a
diff --git a/Documentation/pgm-init.txt b/Documentation/pgm-init.txt
index a9a1c0e..d1d0423 100644
--- a/Documentation/pgm-init.txt
+++ b/Documentation/pgm-init.txt
@@ -30,6 +30,7 @@
 (e.g. DB schema, plugins) as necessary.
 
 == OPTIONS
+-b::
 --batch::
 	Run in batch mode, skipping interactive prompts. For a fresh
 	install, reasonable configuration defaults are chosen based
diff --git a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/Init.java b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/Init.java
index da81843..9ae2d6c 100644
--- a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/Init.java
+++ b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/Init.java
@@ -45,7 +45,8 @@
 
 /** Initialize a new Gerrit installation. */
 public class Init extends BaseInit {
-  @Option(name = "--batch", usage = "Batch mode; skip interactive prompting")
+  @Option(name = "--batch", aliases = {"-b"},
+      usage = "Batch mode; skip interactive prompting")
   private boolean batchMode;
 
   @Option(name = "--no-auto-start", usage = "Don't automatically start daemon after init")