- Package:
- gnome-terminal
- Source:
- gnome-terminal
- Description:
- GNOME terminal emulator application
- Submitter:
- niku
- Date:
- 2015-06-01 11:09:03 UTC
- Severity:
- normal
Dear Maintainer, Gnome-terminal’s lead developer Christian Persch tells on the linked page that Debian man’s page of the project (which is in turn used by other distributions) is outdated. In particular, he reports two developments missing from the man page: (i) the options -e and -x are now deprecated. (ii) `--' is the substitute for both of them. Can a maintainer please contact him and update the man page to reflect this (and possibly other) changes? According to changelog.Debian.gz, the man page was last updated in 2005. https://bugzilla.gnome.org/show_bug.cgi?id=701691 <-- please ignore the lengthy first post on that page. Thanks.
As said on https://bugzilla.gnome.org/show_bug.cgi?id=701691#c3 the man page is a Debian addition, thus this is not an upstream bug. And --disable-factory is no longer supported. The man page should either be updated or removed.