Public bug reported:
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)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 artfulapport-bu wayland-session
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, 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
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1722121/+subscriptions
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
