Enhance CLI documentation
It would be great if the list of gnome-terminal settings were made available as part of the command-line interface help. Or at least a reference to the schema: https://git.gnome.org/browse/gnome-terminal/tree/src/org.gnome.Terminal.gschema.xml.
This is all the help text I get via the --help* flags, which isn't useful if I want to discover or update settings via gsettings:
Usage:
gnome-terminal [OPTION…] [-- COMMAND …]
Terminal options; if used before the first --window or --tab argument, sets the default for all terminals:
-e, --command Execute the argument to this option inside the terminal
--profile=PROFILE-NAME Use the given profile instead of the default profile
--working-directory=DIRNAME Set the working directory
--zoom=ZOOM Set the terminal’s zoom factor (1.0 = normal size)
Usage:
gnome-terminal [OPTION…] [-- COMMAND …]
Options to open new windows or terminal tabs; more than one of these may be specified:
--window Open a new window containing a tab with the default profile
--tab Open a new tab in the last-opened window with the default profile