Related to bug 1708306.
--
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/1722121
Title:
Gnome-Terminal ignores theme, preferences is unavailable, and copy not
working when launching from right-click desktop
Status in gnome-terminal package in Ubuntu:
New
Bug description:
Description: Ubuntu Artful Aardvark (development branch)
Release: 17.10
gnome-terminal:
Installed: 3.24.2-0ubuntu4
Candidate: 3.24.2-0ubuntu4
Version table:
*** 3.24.2-0ubuntu4 500
500 http://us.archive.ubuntu.com/ubuntu artful/main amd64 Packages
100 /var/lib/dpkg/status
Expected behavior
Right-clicking on the desktop and selecting "Open Terminal" should
give me the same terminal as running gnome-terminal or or opening
terminal in the activity view.
What happens
Gnome-Terminal launches with the correct GTK theme, but not the correct theme
variant (light instead of dark). The "Preferences" option is gone from the top
bar. Trying to copy something from the terminal and pasting outputs
"unavailable".
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSignature: Ubuntu 4.13.0-12.13-generic 4.13.3
Uname: Linux 4.13.0-12-generic x86_64
ApportVersion: 2.20.7-0ubuntu2
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Oct 8 22:49:01 2017
InstallationDate: Installed on 2017-09-30 (8 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Beta amd64 (20170929)
ProcEnviron:
PATH=(custom, no user)
XDG_RUNTIME_DIR=<set>
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1722121/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
