Public bug reported:
gnome-terminal: 'Reset' and 'Reset and Clear' via menu does not work as
expected compared with commandline way.
>From menu do either:
Terminal->Reset
or
Terminal->Reset and Clear
They behave differently to if you do:
reset
or
reset ; clear
from the commandline.
ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: gnome-terminal 3.6.1-0ubuntu6
ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3
Uname: Linux 3.11.0-12-generic x86_64
ApportVersion: 2.12.5-0ubuntu2
Architecture: amd64
Date: Sun Oct 13 09:26:07 2013
InstallationDate: Installed on 2013-09-12 (31 days ago)
InstallationMedia: Ubuntu-GNOME 13.04 "Raring Ringtail" - Release amd64
(20130424)
MarkForUpload: True
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to saucy on 2013-09-12 (31 days ago)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug gnome3 saucy
** Tags added: gnome3
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1239294
Title:
gnome-terminal: 'Reset' and 'Reset and Clear' via menu do not work as
expected compared with commandline way
Status in “gnome-terminal” package in Ubuntu:
New
Bug description:
gnome-terminal: 'Reset' and 'Reset and Clear' via menu does not work
as expected compared with commandline way.
From menu do either:
Terminal->Reset
or
Terminal->Reset and Clear
They behave differently to if you do:
reset
or
reset ; clear
from the commandline.
ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: gnome-terminal 3.6.1-0ubuntu6
ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3
Uname: Linux 3.11.0-12-generic x86_64
ApportVersion: 2.12.5-0ubuntu2
Architecture: amd64
Date: Sun Oct 13 09:26:07 2013
InstallationDate: Installed on 2013-09-12 (31 days ago)
InstallationMedia: Ubuntu-GNOME 13.04 "Raring Ringtail" - Release amd64
(20130424)
MarkForUpload: True
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to saucy on 2013-09-12 (31 days ago)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1239294/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
