[gnome-builder] terminal: disable --terminal option for now

[Christian Hergert <chergert src gnome org>]

commit a6d4a22e9fc585e5e1020eb4602ee4e01f89b972
Author: Christian Hergert <chergert redhat com>
Date:   Tue Mar 12 21:41:06 2019 -0700

    terminal: disable --terminal option for now
    
    This feature isn't ready, so disable for release.

 src/plugins/terminal/gbp-terminal-application-addin.c | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/plugins/terminal/gbp-terminal-application-addin.c 
b/src/plugins/terminal/gbp-terminal-application-addin.c
index 2f29138ab..3d4d6f98c 100644
--- a/src/plugins/terminal/gbp-terminal-application-addin.c
+++ b/src/plugins/terminal/gbp-terminal-application-addin.c
@@ -56,6 +56,8 @@ gbp_terminal_application_addin_add_option_entries (IdeApplicationAddin *addin,
   g_assert (GBP_IS_TERMINAL_APPLICATION_ADDIN (addin));
   g_assert (G_IS_APPLICATION (app));
 
+#if 0
+  /* Disabled for now */
   g_application_add_main_option (G_APPLICATION (app),
                                  "terminal",
                                  't',
@@ -63,6 +65,7 @@ gbp_terminal_application_addin_add_option_entries (IdeApplicationAddin *addin,
                                  G_OPTION_ARG_NONE,
                                  _("Use terminal interface"),
                                  NULL);
+#endif
 }
 
 static void