Public bug reported:

Below is the current full usage info, and the option --app-id is

Also, while in that section of the code, please consider adding
--version option.

I had to learn of this option via other means.  The reason is when
gnome-terminal-server crashes it takes down all gnome-terminals that I
have created in "Startup Applications".

[The crash appears to be caused by mouse clicking on the minimize icon
of my ssh session, but I have not enough info to file a bug report on
that.  Ubuntu 16.04 LTS - GNOME Terminal 3.18.3-1ubuntu1 ]

[I am filing another bug within minutes, about the app-id option not
accepting digits after a period.  That bug report will include the
script I am using.]


/usr/lib/gnome-terminal/gnome-terminal-server --help-all
  gnome-terminal-server [OPTION...]

Help Options:
  -h, --help               Show help options
  --help-all               Show all help options
  --help-gtk               Show GTK+ Options

GTK+ Options
  --class=CLASS            Program class as used by the window manager
  --name=NAME              Program name as used by the window manager
  --gdk-debug=FLAGS        GDK debugging flags to set
  --gdk-no-debug=FLAGS     GDK debugging flags to unset
  --gtk-module=MODULES     Load additional GTK+ modules
  --g-fatal-warnings       Make all warnings fatal
  --gtk-debug=FLAGS        GTK+ debugging flags to set
  --gtk-no-debug=FLAGS     GTK+ debugging flags to unset

Application Options:
  --display=DISPLAY        X display to 

gnome-terminal --version
GNOME Terminal 3.18.3
pete@U16t54:~/bin$ /usr/lib/gnome-terminal-server --version
bash: /usr/lib/gnome-terminal-server: No such file or directory

** Affects: ubuntu
     Importance: Undecided
         Status: New

You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

  gnome-terminal-server --help does not include option --app-id

To manage notifications about this bug go to:

ubuntu-bugs mailing list

Reply via email to